[INFO] cloning repository https://github.com/GaloSerranoA/REFINE-FORGE
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/GaloSerranoA/REFINE-FORGE" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FGaloSerranoA%2FREFINE-FORGE", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FGaloSerranoA%2FREFINE-FORGE'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 3b8677d7e951a2198ba994b098e2b9519061be6a
[INFO] testing GaloSerranoA/REFINE-FORGE against try#28f95933dc0727396c07b48d0a8cb5211b7fb472 for pr-154065-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FGaloSerranoA%2FREFINE-FORGE" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/GaloSerranoA/REFINE-FORGE
[INFO] finished tweaking git repo https://github.com/GaloSerranoA/REFINE-FORGE
[INFO] tweaked toml for git repo https://github.com/GaloSerranoA/REFINE-FORGE written to /workspace/builds/worker-5-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/GaloSerranoA/REFINE-FORGE on toolchain 28f95933dc0727396c07b48d0a8cb5211b7fb472
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+28f95933dc0727396c07b48d0a8cb5211b7fb472" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/GaloSerranoA/REFINE-FORGE already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+28f95933dc0727396c07b48d0a8cb5211b7fb472" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+28f95933dc0727396c07b48d0a8cb5211b7fb472" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 330e4aea3bd0525a8b391e96671ce0d79f53e2720dbb69d36d1a974eece901bc
[INFO] running `Command { std: "docker" "start" "-a" "330e4aea3bd0525a8b391e96671ce0d79f53e2720dbb69d36d1a974eece901bc", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "330e4aea3bd0525a8b391e96671ce0d79f53e2720dbb69d36d1a974eece901bc", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "330e4aea3bd0525a8b391e96671ce0d79f53e2720dbb69d36d1a974eece901bc", kill_on_drop: false }`
[INFO] [stdout] 330e4aea3bd0525a8b391e96671ce0d79f53e2720dbb69d36d1a974eece901bc
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+28f95933dc0727396c07b48d0a8cb5211b7fb472" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 17cad60c5e5d10fc9c7c3da4781a1571c1585c426912a2be28d629f296f101bb
[INFO] running `Command { std: "docker" "start" "-a" "17cad60c5e5d10fc9c7c3da4781a1571c1585c426912a2be28d629f296f101bb", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.106
[INFO] [stderr]    Compiling quote v1.0.45
[INFO] [stderr]    Compiling jobserver v0.1.34
[INFO] [stderr]    Compiling mio v1.2.0
[INFO] [stderr]    Compiling socket2 v0.6.3
[INFO] [stderr]    Compiling rustls-pki-types v1.14.1
[INFO] [stderr]    Compiling getrandom v0.2.17
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling futures-util v0.3.32
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling rustls v0.23.40
[INFO] [stderr]    Compiling typenum v1.20.0
[INFO] [stderr]    Compiling anyhow v1.0.102
[INFO] [stderr]    Compiling tracing v0.1.44
[INFO] [stderr]    Compiling hashbrown v0.17.1
[INFO] [stderr]    Compiling unsafe-libyaml v0.2.11
[INFO] [stderr]    Compiling fluent-uri v0.1.4
[INFO] [stderr]    Compiling zstd-safe v7.2.4
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling refineforge-gpu v0.2.2 (/opt/rustwide/workdir/crates/refineforge-gpu)
[INFO] [stderr]    Compiling tempfile v3.27.0
[INFO] [stderr]    Compiling webpki-roots v1.0.7
[INFO] [stderr]    Compiling cc v1.2.62
[INFO] [stderr]    Compiling tokio v1.52.3
[INFO] [stderr]    Compiling indexmap v2.14.0
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling generic-array v0.14.7
[INFO] [stderr]    Compiling ring v0.17.14
[INFO] [stderr]    Compiling zstd-sys v2.0.16+zstd.1.5.7
[INFO] [stderr]    Compiling block-buffer v0.10.4
[INFO] [stderr]    Compiling crypto-common v0.1.7
[INFO] [stderr]    Compiling digest v0.10.7
[INFO] [stderr]    Compiling sha2 v0.10.9
[INFO] [stderr]    Compiling hyper v1.9.0
[INFO] [stderr]    Compiling tower v0.5.3
[INFO] [stderr]    Compiling synstructure v0.13.2
[INFO] [stderr]    Compiling rustls-webpki v0.103.13
[INFO] [stderr]    Compiling hyper-util v0.1.20
[INFO] [stderr]    Compiling zerofrom-derive v0.1.7
[INFO] [stderr]    Compiling yoke-derive v0.8.2
[INFO] [stderr]    Compiling zerovec-derive v0.11.3
[INFO] [stderr]    Compiling displaydoc v0.2.5
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling clap_derive v4.6.1
[INFO] [stderr]    Compiling serde_repr v0.1.20
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]    Compiling zstd v0.13.3
[INFO] [stderr]    Compiling refineforge-derive v0.2.2 (/opt/rustwide/workdir/crates/refineforge-derive)
[INFO] [stderr]    Compiling example-capability v0.2.2 (/opt/rustwide/workdir/crates/example-capability)
[INFO] [stderr]    Compiling example-counter v0.2.2 (/opt/rustwide/workdir/crates/example-counter)
[INFO] [stderr]    Compiling thiserror v1.0.69
[INFO] [stderr]    Compiling zerofrom v0.1.8
[INFO] [stderr]    Compiling yoke v0.8.2
[INFO] [stderr]    Compiling zerovec v0.11.6
[INFO] [stderr]    Compiling zerotrie v0.2.4
[INFO] [stderr]    Compiling clap v4.6.1
[INFO] [stderr]    Compiling tinystr v0.8.3
[INFO] [stderr]    Compiling potential_utf v0.1.5
[INFO] [stderr]    Compiling icu_collections v2.2.0
[INFO] [stderr]    Compiling icu_locale_core v2.2.0
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling icu_provider v2.2.0
[INFO] [stderr]    Compiling chrono v0.4.44
[INFO] [stderr]    Compiling serde_urlencoded v0.7.1
[INFO] [stderr]    Compiling serde_yaml v0.9.34+deprecated
[INFO] [stderr]    Compiling lsp-types v0.97.0
[INFO] [stderr]    Compiling icu_normalizer v2.2.0
[INFO] [stderr]    Compiling icu_properties v2.2.0
[INFO] [stderr]    Compiling tokio-rustls v0.26.4
[INFO] [stderr]    Compiling hyper-rustls v0.27.9
[INFO] [stderr]    Compiling idna_adapter v1.2.2
[INFO] [stderr]    Compiling refineforge-escalation v0.2.2 (/opt/rustwide/workdir/crates/refineforge-escalation)
[INFO] [stderr]    Compiling refineforge-bitexact v0.2.2 (/opt/rustwide/workdir/crates/refineforge-bitexact)
[INFO] [stderr]    Compiling idna v1.1.0
[INFO] [stderr]    Compiling url v2.5.8
[INFO] [stderr]    Compiling tower-http v0.6.11
[INFO] [stderr]    Compiling reqwest v0.12.28
[INFO] [stderr]    Compiling refineforge-prover v0.2.2 (/opt/rustwide/workdir/crates/refineforge-prover)
[INFO] [stderr]    Compiling refineforge-repair-api v0.2.2 (/opt/rustwide/workdir/crates/refineforge-repair-api)
[INFO] [stderr]    Compiling refineforge-strategies v0.2.2 (/opt/rustwide/workdir/crates/refineforge-strategies)
[INFO] [stderr]    Compiling refineforge-trainer v0.2.2 (/opt/rustwide/workdir/crates/refineforge-trainer)
[INFO] [stderr]    Compiling refineforge-cli v0.2.2 (/opt/rustwide/workdir/crates/refineforge-cli)
[INFO] [stderr]    Compiling refineforge-eval v0.2.2 (/opt/rustwide/workdir/crates/refineforge-eval)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 59.96s
[INFO] running `Command { std: "docker" "inspect" "17cad60c5e5d10fc9c7c3da4781a1571c1585c426912a2be28d629f296f101bb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "17cad60c5e5d10fc9c7c3da4781a1571c1585c426912a2be28d629f296f101bb", kill_on_drop: false }`
[INFO] [stdout] 17cad60c5e5d10fc9c7c3da4781a1571c1585c426912a2be28d629f296f101bb
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+28f95933dc0727396c07b48d0a8cb5211b7fb472" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 343d417dcc2110c6c5ec29a31cfef8a30c92cd05d93610dee75441b312623cf9
[INFO] running `Command { std: "docker" "start" "-a" "343d417dcc2110c6c5ec29a31cfef8a30c92cd05d93610dee75441b312623cf9", kill_on_drop: false }`
[INFO] [stderr]    Compiling refineforge-derive v0.2.2 (/opt/rustwide/workdir/crates/refineforge-derive)
[INFO] [stderr]    Compiling refineforge-bitexact v0.2.2 (/opt/rustwide/workdir/crates/refineforge-bitexact)
[INFO] [stderr]    Compiling refineforge-trainer v0.2.2 (/opt/rustwide/workdir/crates/refineforge-trainer)
[INFO] [stderr]    Compiling refineforge-prover v0.2.2 (/opt/rustwide/workdir/crates/refineforge-prover)
[INFO] [stderr]    Compiling refineforge-cli v0.2.2 (/opt/rustwide/workdir/crates/refineforge-cli)
[INFO] [stderr]    Compiling refineforge-strategies v0.2.2 (/opt/rustwide/workdir/crates/refineforge-strategies)
[INFO] [stderr]    Compiling example-counter v0.2.2 (/opt/rustwide/workdir/crates/example-counter)
[INFO] [stderr]    Compiling example-capability v0.2.2 (/opt/rustwide/workdir/crates/example-capability)
[INFO] [stderr]    Compiling refineforge-eval v0.2.2 (/opt/rustwide/workdir/crates/refineforge-eval)
[INFO] [stderr]    Compiling refineforge-gpu v0.2.2 (/opt/rustwide/workdir/crates/refineforge-gpu)
[INFO] [stderr]    Compiling refineforge-escalation v0.2.2 (/opt/rustwide/workdir/crates/refineforge-escalation)
[INFO] [stderr]    Compiling refineforge-repair-api v0.2.2 (/opt/rustwide/workdir/crates/refineforge-repair-api)
[INFO] [stdout] warning: unused import: `Category`
[INFO] [stdout]   --> crates/refineforge-escalation/tests/packet_e2e.rs:13:71
[INFO] [stdout]    |
[INFO] [stdout] 13 |     commit_packet, poll_decision_once, Action, BatchBlock, BatchItem, Category, ClaimSummary,
[INFO] [stdout]    |                                                                       ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 22.49s
[INFO] running `Command { std: "docker" "inspect" "343d417dcc2110c6c5ec29a31cfef8a30c92cd05d93610dee75441b312623cf9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "343d417dcc2110c6c5ec29a31cfef8a30c92cd05d93610dee75441b312623cf9", kill_on_drop: false }`
[INFO] [stdout] 343d417dcc2110c6c5ec29a31cfef8a30c92cd05d93610dee75441b312623cf9
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+28f95933dc0727396c07b48d0a8cb5211b7fb472" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] bd3d19930470c07e9a15a03529c355e2df36dace217387a17ababbd65fc01162
[INFO] running `Command { std: "docker" "start" "-a" "bd3d19930470c07e9a15a03529c355e2df36dace217387a17ababbd65fc01162", kill_on_drop: false }`
[INFO] [stderr] warning: unused import: `Category`
[INFO] [stderr]   --> crates/refineforge-escalation/tests/packet_e2e.rs:13:71
[INFO] [stderr]    |
[INFO] [stderr] 13 |     commit_packet, poll_decision_once, Action, BatchBlock, BatchItem, Category, ClaimSummary,
[INFO] [stderr]    |                                                                       ^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `refineforge-escalation` (test "packet_e2e") generated 1 warning (run `cargo fix --test "packet_e2e" -p refineforge-escalation` to apply 1 suggestion)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.47s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/example_capability-51fd87324162af96)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/capability.rs (/opt/rustwide/target/debug/deps/capability-619bf81f0a2d1da8)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test revoked_capability_authorizes_nothing ... ok
[INFO] [stdout] test fresh_capability_authorizes_held_right ... ok
[INFO] [stdout] test revoke_is_idempotent ... ok
[INFO] [stdout] test fresh_capability_rejects_missing_right ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/example_counter-473b74f32f0ca642)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/counter.rs (/opt/rustwide/target/debug/deps/counter-e554c813e925834f)
[INFO] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stdout] test checked_incr_returns_none_at_u64_max ... ok
[INFO] [stdout] test checked_incr_returns_some_below_boundary ... ok
[INFO] [stdout] test incr_is_monotone ... ok
[INFO] [stdout] test incr_is_monotone_at_zero ... ok
[INFO] [stdout] test lean_model_is_const_and_static ... ok
[INFO] [stdout] test lean_model_matches_hand_written_counter_lean ... ok
[INFO] [stdout] test incr_strictly_increases_below_boundary ... ok
[INFO] [stdout] test lean_model_supported_shape_is_deterministic ... ok
[INFO] [stdout] test incr_is_monotone_at_u64_max ... ok
[INFO] [stdout] test incr_does_not_strictly_increase_at_u64_max ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/refineforge_bitexact-203c6c938fdf2a4e)
[INFO] [stdout] 
[INFO] [stdout] running 49 tests
[INFO] [stdout] test hash::tests::all_equal_trivial_cases ... ok
[INFO] [stdout] test hash::tests::hash_bytes_is_known_sha256 ... ok
[INFO] [stdout] test hash::tests::hash_bytes_empty ... ok
[INFO] [stdout] test hash::tests::hash_file_matches_hash_bytes ... ok
[INFO] [stdout] test experiment::tests::loads_file_output_with_env_and_hw ... ok
[INFO] [stdout] test experiment::tests::loads_source_reference_and_production_contract_fields ... ok
[INFO] [stdout] test experiment::tests::rejects_malformed_expected_sha256 ... ok
[INFO] [stdout] test experiment::tests::rejects_runs_below_2 ... ok
[INFO] [stdout] test experiment::tests::rejects_empty_command ... ok
[INFO] [stdout] test experiment::tests::substitute_replaces_tokens ... ok
[INFO] [stdout] test experiment::tests::loads_helyx_contract_fields_and_sorts_lists ... ok
[INFO] [stdout] test experiment::tests::loads_minimal_with_defaults ... ok
[INFO] [stdout] test hash::tests::all_equal_detects_difference ... ok
[INFO] [stdout] test lint::tests::cuda_strict_does_not_require_helyx_names ... ok
[INFO] [stdout] test lint::tests::helyx_cuda_profile_passes_valid_contract ... ok
[INFO] [stdout] test lint::tests::helyx_cuda_profile_requires_enterprise_contract_fields ... ok
[INFO] [stdout] test manifest::tests::build_input_manifest_hashes_files_in_sorted_order ... ok
[INFO] [stdout] test manifest::tests::build_input_manifest_rejects_missing_file ... ok
[INFO] [stdout] test lint::tests::generic_profile_passes_without_cuda_contract_metadata ... ok
[INFO] [stdout] test mentor::tests::default_curriculum_has_all_seven_sections ... ok
[INFO] [stdout] test mentor::tests::aliases_do_not_collide_across_topics ... ok
[INFO] [stdout] test mentor::tests::curriculum_round_trips_through_serde ... ok
[INFO] [stdout] test mentor::tests::every_section_carries_at_least_one_reference ... ok
[INFO] [stdout] test mentor::tests::find_resolves_canonical_name ... ok
[INFO] [stdout] test mentor::tests::find_returns_not_found_for_unknown ... ok
[INFO] [stdout] test mentor::tests::normalize_collapses_separators_and_case ... ok
[INFO] [stdout] test mentor::tests::rules_round_trip_through_serde ... ok
[INFO] [stdout] test mentor::tests::system_prompt_includes_rules_outro_and_determinism_note ... ok
[INFO] [stdout] test mentor::tests::topic_names_are_unique_within_curriculum ... ok
[INFO] [stdout] test mentor::tests::topic_prompt_for_refineforge_specific_topic_resolves ... ok
[INFO] [stdout] test mentor::tests::topic_prompt_resolves_and_quotes_section ... ok
[INFO] [stdout] test mentor::tests::find_resolves_alias_case_insensitive ... ok
[INFO] [stdout] test mentor::tests::listing_includes_every_section_topic_and_references ... ok
[INFO] [stdout] test run_all::tests::discover_configs_sorts_and_filters_examples_by_default ... ok
[INFO] [stdout] test runner::tests::run_all_writes_per_run_jsonl_audit_stream ... ok
[INFO] [stdout] test runner::tests::deterministic_command_yields_identical_hashes ... ok
[INFO] [stdout] test report::tests::fail_when_a_run_errored_even_if_remaining_hashes_match ... ok
[INFO] [stdout] test hash::tests::hash_file_handles_large_file_streaming ... ok
[INFO] [stdout] test runner::tests::nondeterministic_command_yields_different_hashes ... ok
[INFO] [stdout] test runner::tests::shell_split_preserves_single_quoted_shell_fragment ... ok
[INFO] [stdout] test runner::tests::shell_split_preserves_windows_path_separators ... ok
[INFO] [stdout] test runner::tests::shell_split_preserves_double_quoted_path_with_spaces ... ok
[INFO] [stdout] test runner::tests::spawn_failure_is_captured_per_run ... ok
[INFO] [stdout] test report::tests::fail_when_zero_runs ... ok
[INFO] [stdout] test report::tests::pass_when_all_hashes_equal_and_no_errors ... ok
[INFO] [stdout] test report::tests::fail_when_hashes_disagree ... ok
[INFO] [stdout] test report::tests::records_input_manifest_in_report ... ok
[INFO] [stdout] test report::tests::fail_when_expected_hash_does_not_match_observed_hash ... ok
[INFO] [stdout] test run_all::tests::run_directory_records_failures_and_continues ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 49 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.16s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/refine_bitexact-ef4e33bc8c9479d3)
[INFO] [stdout] 
[INFO] [stdout] running 49 tests
[INFO] [stdout] test hash::tests::all_equal_detects_difference ... ok
[INFO] [stdout] test hash::tests::all_equal_trivial_cases ... ok
[INFO] [stdout] test hash::tests::hash_bytes_empty ... ok
[INFO] [stdout] test hash::tests::hash_bytes_is_known_sha256 ... ok
[INFO] [stdout] test hash::tests::hash_file_matches_hash_bytes ... ok
[INFO] [stdout] test experiment::tests::loads_source_reference_and_production_contract_fields ... ok
[INFO] [stdout] test experiment::tests::loads_helyx_contract_fields_and_sorts_lists ... ok
[INFO] [stdout] test experiment::tests::loads_file_output_with_env_and_hw ... ok
[INFO] [stdout] test experiment::tests::loads_minimal_with_defaults ... ok
[INFO] [stdout] test experiment::tests::substitute_replaces_tokens ... ok
[INFO] [stdout] test lint::tests::cuda_strict_does_not_require_helyx_names ... ok
[INFO] [stdout] test lint::tests::helyx_cuda_profile_passes_valid_contract ... ok
[INFO] [stdout] test lint::tests::helyx_cuda_profile_requires_enterprise_contract_fields ... ok
[INFO] [stdout] test mentor::tests::default_curriculum_has_all_seven_sections ... ok
[INFO] [stdout] test mentor::tests::every_section_carries_at_least_one_reference ... ok
[INFO] [stdout] test manifest::tests::build_input_manifest_hashes_files_in_sorted_order ... ok
[INFO] [stdout] test mentor::tests::normalize_collapses_separators_and_case ... ok
[INFO] [stdout] test mentor::tests::rules_round_trip_through_serde ... ok
[INFO] [stdout] test lint::tests::generic_profile_passes_without_cuda_contract_metadata ... ok
[INFO] [stdout] test mentor::tests::topic_prompt_resolves_and_quotes_section ... ok
[INFO] [stdout] test experiment::tests::rejects_empty_command ... ok
[INFO] [stdout] test experiment::tests::rejects_malformed_expected_sha256 ... ok
[INFO] [stdout] test mentor::tests::system_prompt_includes_rules_outro_and_determinism_note ... ok
[INFO] [stdout] test experiment::tests::rejects_runs_below_2 ... ok
[INFO] [stdout] test mentor::tests::curriculum_round_trips_through_serde ... ok
[INFO] [stdout] test mentor::tests::find_resolves_alias_case_insensitive ... ok
[INFO] [stdout] test mentor::tests::find_returns_not_found_for_unknown ... ok
[INFO] [stdout] test mentor::tests::listing_includes_every_section_topic_and_references ... ok
[INFO] [stdout] test mentor::tests::aliases_do_not_collide_across_topics ... ok
[INFO] [stdout] test manifest::tests::build_input_manifest_rejects_missing_file ... ok
[INFO] [stdout] test mentor::tests::topic_names_are_unique_within_curriculum ... ok
[INFO] [stdout] test run_all::tests::discover_configs_sorts_and_filters_examples_by_default ... ok
[INFO] [stdout] test runner::tests::shell_split_preserves_single_quoted_shell_fragment ... ok
[INFO] [stdout] test runner::tests::shell_split_preserves_windows_path_separators ... ok
[INFO] [stdout] test runner::tests::shell_split_preserves_double_quoted_path_with_spaces ... ok
[INFO] [stdout] test runner::tests::run_all_writes_per_run_jsonl_audit_stream ... ok
[INFO] [stdout] test mentor::tests::topic_prompt_for_refineforge_specific_topic_resolves ... ok
[INFO] [stdout] test mentor::tests::find_resolves_canonical_name ... ok
[INFO] [stdout] test runner::tests::spawn_failure_is_captured_per_run ... ok
[INFO] [stdout] test runner::tests::deterministic_command_yields_identical_hashes ... ok
[INFO] [stdout] test runner::tests::nondeterministic_command_yields_different_hashes ... ok
[INFO] [stdout] test hash::tests::hash_file_handles_large_file_streaming ... ok
[INFO] [stdout] test report::tests::fail_when_zero_runs ... ok
[INFO] [stdout] test report::tests::pass_when_all_hashes_equal_and_no_errors ... ok
[INFO] [stdout] test report::tests::fail_when_a_run_errored_even_if_remaining_hashes_match ... ok
[INFO] [stdout] test report::tests::fail_when_hashes_disagree ... ok
[INFO] [stdout] test report::tests::records_input_manifest_in_report ... ok
[INFO] [stdout] test report::tests::fail_when_expected_hash_does_not_match_observed_hash ... ok
[INFO] [stdout] test run_all::tests::run_directory_records_failures_and_continues ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 49 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.28s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/end_to_end.rs (/opt/rustwide/target/debug/deps/end_to_end-333ba5ff42ccd20c)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stderr] refine-bitexact: experiment 'example-nondeterministic' — running 5 time(s)
[INFO] [stdout] DRY-RUN: would execute the following 5 time(s):
[INFO] [stdout]   [0] bash kernels/scripts/stub-nondeterministic.sh
[INFO] [stdout]   [1] bash kernels/scripts/stub-nondeterministic.sh
[INFO] [stdout]   [2] bash kernels/scripts/stub-nondeterministic.sh
[INFO] [stdout]   [3] bash kernels/scripts/stub-nondeterministic.sh
[INFO] [stdout]   [4] bash kernels/scripts/stub-nondeterministic.sh
[INFO] [stdout]   hashing stdout of each run
[INFO] [stderr] refine-bitexact: experiment 'example-deterministic' — running 5 time(s)
[INFO] [stdout] test dry_run_does_not_execute_kernel ... ok
[INFO] [stderr]   [0] 6 ms — sha256 d5ca9a70b50179b4
[INFO] [stderr]   [1] 2 ms — sha256 d5ca9a70b50179b4
[INFO] [stderr]   [2] 2 ms — sha256 d5ca9a70b50179b4
[INFO] [stderr]   [3] 40 ms — sha256 d5ca9a70b50179b4
[INFO] [stderr]   [4] 3 ms — sha256 d5ca9a70b50179b4
[INFO] [stderr]   [0] 5 ms — sha256 1732e833d98bb64d
[INFO] [stderr]   [1] 2 ms — sha256 568985399f34d186
[INFO] [stderr]   [2] 35 ms — sha256 725fa0597566a260
[INFO] [stderr]   [3] 33 ms — sha256 6799a2b533767028
[INFO] [stderr]   [4] 2 ms — sha256 e60eb7c1d0fbb7bd
[INFO] [stderr] 
[INFO] [stderr] PASS: all 5 runs produced identical SHA-256 = d5ca9a70b50179b4
[INFO] [stderr] report: /tmp/.tmp90qrad/example-deterministic/bitexact-report.json
[INFO] [stdout] test gate_passes_against_deterministic_stub ... ok
[INFO] [stderr] 
[INFO] [stderr] FAIL: 5 runs, 0 errored, 5 unique hash(es)
[INFO] [stderr] report: /tmp/.tmp07EOnE/example-nondeterministic/bitexact-report.json
[INFO] [stderr] Error: bit-exact gate FAILED
[INFO] [stderr] 
[INFO] [stderr] Stack backtrace:
[INFO] [stderr]    0: <anyhow::Error>::msg::<&str>
[INFO] [stderr]              at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/anyhow-1.0.102/src/backtrace.rs:10:14
[INFO] [stderr]    1: anyhow::__private::format_err
[INFO] [stderr]              at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/anyhow-1.0.102/src/lib.rs:687:13
[INFO] [stderr]    2: refine_bitexact::cmd_run
[INFO] [stderr]              at ./crates/refineforge-bitexact/src/main.rs:187:38
[INFO] [stderr]    3: refine_bitexact::main
[INFO] [stderr]              at ./crates/refineforge-bitexact/src/main.rs:105:14
[INFO] [stderr]    4: <fn() -> core::result::Result<(), anyhow::Error> as core::ops::function::FnOnce<()>>::call_once
[INFO] [stderr]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/ops/function.rs:250:5
[INFO] [stderr]    5: std::sys::backtrace::__rust_begin_short_backtrace::<fn() -> core::result::Result<(), anyhow::Error>, core::result::Result<(), anyhow::Error>>
[INFO] [stderr]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/sys/backtrace.rs:166:18
[INFO] [stderr]    6: std::rt::lang_start::<core::result::Result<(), anyhow::Error>>::{closure#0}
[INFO] [stderr]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/rt.rs:206:18
[INFO] [stderr]    7: <&dyn core::ops::function::Fn<(), Output = i32> + core::panic::unwind_safe::RefUnwindSafe + core::marker::Sync as core::ops::function::FnOnce<()>>::call_once
[INFO] [stderr]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/ops/function.rs:287:21
[INFO] [stderr]    8: std::panicking::catch_unwind::do_call::<&dyn core::ops::function::Fn<(), Output = i32> + core::panic::unwind_safe::RefUnwindSafe + core::marker::Sync, i32>
[INFO] [stderr]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:581:40
[INFO] [stderr]    9: std::panicking::catch_unwind::<i32, &dyn core::ops::function::Fn<(), Output = i32> + core::panic::unwind_safe::RefUnwindSafe + core::marker::Sync>
[INFO] [stderr]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:544:19
[INFO] [stderr]   10: std::panic::catch_unwind::<&dyn core::ops::function::Fn<(), Output = i32> + core::panic::unwind_safe::RefUnwindSafe + core::marker::Sync, i32>
[INFO] [stderr]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panic.rs:359:14
[INFO] [stderr]   11: std::rt::lang_start_internal::{closure#0}
[INFO] [stderr]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/rt.rs:175:24
[INFO] [stderr]   12: std::panicking::catch_unwind::do_call::<std::rt::lang_start_internal::{closure#0}, isize>
[INFO] [stderr]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:581:40
[INFO] [stderr]   13: std::panicking::catch_unwind::<isize, std::rt::lang_start_internal::{closure#0}>
[INFO] [stderr]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:544:19
[INFO] [stderr]   14: std::panic::catch_unwind::<std::rt::lang_start_internal::{closure#0}, isize>
[INFO] [stderr]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panic.rs:359:14
[INFO] [stderr]   15: std::rt::lang_start_internal
[INFO] [stderr]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/rt.rs:171:5
[INFO] [stderr]   16: std::rt::lang_start::<core::result::Result<(), anyhow::Error>>
[INFO] [stderr]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/rt.rs:205:5
[INFO] [stderr]   17: main
[INFO] [stderr]   18: <unknown>
[INFO] [stderr]   19: __libc_start_main
[INFO] [stderr]   20: _start
[INFO] [stdout] test gate_fails_against_nondeterministic_stub ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.29s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/refineforge_cli-731ff63ed37bf5b3)
[INFO] [stdout] 
[INFO] [stdout] running 106 tests
[INFO] [stdout] test agent::devops::tests::explicit_semver_target_is_preserved ... ok
[INFO] [stdout] test autonomous::cost::tests::charge_accumulates_total ... ok
[INFO] [stdout] test agent::devops::tests::helyx_target_uses_non_release_probe_version ... ok
[INFO] [stdout] test autonomous::cost::tests::charge_at_exactly_budget_succeeds ... ok
[INFO] [stdout] test agent::devops::tests::release_ready_success_is_capped_below_ci_readiness ... ok
[INFO] [stdout] test autonomous::cost::tests::charge_over_budget_fails_closed ... ok
[INFO] [stdout] test autonomous::cost::tests::negative_charge_rejected ... ok
[INFO] [stdout] test autonomous::cost::tests::zero_budget_rejects_any_positive_charge ... ok
[INFO] [stdout] test agent::lean::tests::inrepo_bundle_manifest_hash_accepts_valid_and_rejects_invalid ... ok
[INFO] [stdout] test autonomous::cost::tests::zero_charge_on_zero_budget_succeeds_trivially ... ok
[INFO] [stdout] test autonomous::executor::tests::anthropic_constant_matches_eval_baseline ... ok
[INFO] [stdout] test autonomous::cost::tests::fresh_gate_remaining_equals_budget ... ok
[INFO] [stdout] test autonomous::executor::tests::dry_run_baseline_plan_all_steps_proceed ... ok
[INFO] [stdout] test autonomous::executor::tests::dry_run_escalation_does_not_write_to_git ... ok
[INFO] [stdout] test autonomous::executor::tests::dry_run_repair_step_reports_proceeded_without_invoking_loop ... ok
[INFO] [stdout] test autonomous::executor::tests::dry_run_run_bitexact_gate_records_proceeded ... ok
[INFO] [stdout] test autonomous::executor::tests::dry_run_run_training_experiment_records_proceeded ... ok
[INFO] [stdout] test autonomous::executor::tests::engine_action_that_escalates_records_escalated ... ok
[INFO] [stdout] test autonomous::executor::tests::engine_action_that_proceeds_records_proceeded ... ok
[INFO] [stdout] test autonomous::executor::tests::non_dry_run_anthropic_repair_charges_cost_gate_before_invoking ... ok
[INFO] [stdout] test autonomous::executor::tests::packet_path_is_stable_and_zero_padded ... ok
[INFO] [stdout] test autonomous::executor::tests::non_dry_run_escalation_commits_a_packet ... ok
[INFO] [stdout] test autonomous::executor::tests::phase_3_8_preexisting_approved_packet_is_not_overwritten ... ok
[INFO] [stdout] test autonomous::executor::tests::resolve_strategy_rejects_unknown ... ok
[INFO] [stdout] test autonomous::executor::tests::engine_refusal_on_criteria_mismatch_records_failed ... ok
[INFO] [stdout] test autonomous::executor::tests::resolve_strategy_recognises_mock ... ok
[INFO] [stdout] test autonomous::planner::tests::rationale_mentions_the_claim_id ... ok
[INFO] [stdout] test autonomous::executor::tests::resolve_strategy_recognises_anthropic_mock ... ok
[INFO] [stdout] test autonomous::executor::tests::resolve_strategy_requires_weights_for_local_finetune ... ok
[INFO] [stdout] test autonomous::executor::tests::resolve_strategy_recognises_local_finetune_with_manifest ... ok
[INFO] [stdout] test autonomous::planner::tests::baseline_plan_sequence_numbers_are_dense_one_based ... ok
[INFO] [stdout] test autonomous::planner::tests::multiple_engine_actions_run_in_insertion_order ... ok
[INFO] [stdout] test autonomous::executor::tests::non_dry_run_subprocess_step_fails_helpfully_when_binary_missing ... ok
[INFO] [stdout] test autonomous::planner::tests::baseline_plan_is_three_steps ... ok
[INFO] [stdout] test autonomous::planner::tests::run_bitexact_gate_step_kind_serializes ... ok
[INFO] [stdout] test autonomous::planner::tests::run_training_experiment_step_kind_serializes ... ok
[INFO] [stdout] test autonomous::planner::tests::baseline_plan_steps_are_lean_then_scan_then_bundle ... ok
[INFO] [stdout] test autonomous::planner::tests::repair_step_kind_serializes_with_strategy_field ... ok
[INFO] [stdout] test bundle::signature_tests::extracts_signer_identity_from_cosign_json_fixture ... ok
[INFO] [stdout] test autonomous::executor::tests::phase_3_8_preexisting_pending_packet_is_still_rewritten ... ok
[INFO] [stdout] test bundle::signature_tests::missing_sigbundle_returns_helpful_error ... ok
[INFO] [stdout] test autonomous::planner::tests::engine_action_is_inserted_between_lean_and_scan ... ok
[INFO] [stdout] test autonomous::planner::tests::with_bitexact_step_appends_after_training ... ok
[INFO] [stdout] test bundle::signature_tests::signer_identity_fallback_is_documented_as_reporting_gap ... ok
[INFO] [stdout] test autonomous::report::tests::report_with_anthropic_usage_round_trips ... ok
[INFO] [stdout] test bundle::signature_tests::missing_cosign_binary_returns_install_hint ... ok
[INFO] [stdout] test autonomous::report::tests::summary_all_proceeded_is_success ... ok
[INFO] [stdout] test autonomous::report::tests::summary_counts_each_outcome_kind ... ok
[INFO] [stdout] test autonomous::report::tests::summary_escalated_alone_is_success ... ok
[INFO] [stdout] test autonomous::planner::tests::with_training_step_appends_after_bundle ... ok
[INFO] [stdout] test autonomous::tests::public_api_compiles ... ok
[INFO] [stdout] test autonomous::report::tests::report_round_trips_via_json ... ok
[INFO] [stdout] test bundle::signature_tests::default_identity_regex_accepts_renamed_repository_workflow_identity ... ok
[INFO] [stdout] test memory::tests::record_ids_ignore_created_at ... ok
[INFO] [stdout] test lint::tests::lint_passes_example_counter_shape ... ok
[INFO] [stdout] test lint::tests::lint_flags_missing_explicit_human_operator_field ... ok
[INFO] [stdout] test lint::tests::lint_rejects_crs_claim_without_model_only_scope ... ok
[INFO] [stdout] test lint::tests::lint_rejects_ai_placeholder_human_operator ... ok
[INFO] [stdout] test lint::tests::lint_flags_refined_claim_without_refinement_doc ... ok
[INFO] [stdout] test lint::tests::lint_flags_refinement_doc_missing_required_sections ... ok
[INFO] [stdout] test lint::tests::lint_flags_missing_rust_source_file ... ok
[INFO] [stdout] test nexus::tests::protected_hash_is_stable_when_only_region_body_changes ... ok
[INFO] [stdout] test nexus::tests::reports_unterminated_region ... ok
[INFO] [stdout] test nexus::tests::score_candidate_orders_block_generators_lowest_risk_first ... ok
[INFO] [stdout] test nexus::tests::score_candidate_orders_value_generators_with_preserve_first ... ok
[INFO] [stdout] test release::tests::cargo_gate_commands_use_isolated_target_dir ... ok
[INFO] [stdout] test release::tests::gate_cargo_target_dir_isolates_when_running_binary_would_collide ... ok
[INFO] [stdout] test release::tests::blocked_required_gate_fails_release_report ... ok
[INFO] [stdout] test nexus::tests::scans_block_and_value_regions ... ok
[INFO] [stdout] test release::tests::docs_audit_rejects_empty_kernel_src_without_architecture_boundary ... ok
[INFO] [stdout] test release::tests::docs_audit_rejects_unbounded_sigstore_release_claim ... ok
[INFO] [stdout] test release::tests::markdown_report_contains_gate_table_and_bundle_hashes ... ok
[INFO] [stdout] test nexus::tests::score_candidate_falls_back_for_unknown_generator_or_body ... ok
[INFO] [stdout] test release::tests::docs_audit_rejects_three_section_language ... ok
[INFO] [stdout] test release::tests::docs_audit_accepts_ci_pending_signature_language ... ok
[INFO] [stdout] test release::tests::docs_audit_allows_unrelated_shipped_claims_near_nix_pending ... ok
[INFO] [stdout] test release::tests::release_gates_scrub_agent_evidence_env_vars ... ok
[INFO] [stdout] test release::tests::release_report_is_success_only_when_required_gates_pass_or_skip ... ok
[INFO] [stdout] test release::tests::provenance_records_bundle_subjects_and_materials ... ok
[INFO] [stdout] test release::tests::sbom_from_cargo_metadata_includes_workspace_and_dependency_components ... ok
[INFO] [stdout] test release::tests::inrepo_bundle_evidence_collects_exported_manifests ... ok
[INFO] [stdout] test release::tests::writes_json_markdown_sbom_and_provenance_files ... ok
[INFO] [stdout] test repair::lsp::tests::path_to_uri_uses_forward_slashes ... ok
[INFO] [stdout] test repair::lsp::tests::read_message_ignores_extra_headers ... ok
[INFO] [stdout] test repair::lsp_extractor::tests::parse_goal_text_returns_none_when_no_goal_marker ... ok
[INFO] [stdout] test repair::lsp::tests::roundtrip_message_with_simple_payload ... ok
[INFO] [stdout] test repair::lsp_extractor::tests::parse_goal_text_handles_plain_goal_rendered_field ... ok
[INFO] [stdout] test bundle::signature_tests::identity_regex_override_via_options ... ok
[INFO] [stdout] test release::tests::gate_log_file_names_are_stable_and_windows_safe ... ok
[INFO] [stdout] test scan::tests::structured_scan_ignores_comments_and_strings ... ok
[INFO] [stdout] test scan::tests::scan_hash_is_stable_when_source_order_changes ... ok
[INFO] [stdout] test scan::tests::structured_scan_finds_impl_methods_and_free_functions ... ok
[INFO] [stdout] test bundle::signature_tests::stub_cosign_verify_failure_propagates ... ok
[INFO] [stdout] test sorry_gate::tests::axiom_declaration_fails ... ok
[INFO] [stdout] test sorry_gate::tests::clean_source_passes ... ok
[INFO] [stdout] test bundle::signature_tests::stub_cosign_success_path_returns_status ... ok
[INFO] [stdout] test scaffold::tests::create_writes_refinement_doc_and_template_provenance ... ok
[INFO] [stdout] test sorry_gate::tests::nested_block_comment_passes ... ok
[INFO] [stdout] test sorry_gate::tests::word_boundary_excludes_substrings ... ok
[INFO] [stdout] test sorry_gate::tests::sorry_in_proof_fails ... ok
[INFO] [stdout] test sorry_gate::tests::sorry_in_line_comment_passes ... ok
[INFO] [stdout] test sorry_gate::tests::sorry_in_block_comment_passes ... ok
[INFO] [stdout] test runner::tests::lake_build_lock_serializes_same_lean_dir ... ok
[INFO] [stdout] test release::tests::dry_run_ready_allows_source_archive_without_git_worktree ... ok
[INFO] [stdout] test release::tests::dry_run_ready_marks_expensive_gates_skipped ... ok
[INFO] [stdout] test release::tests::invalid_semver_is_a_failed_required_gate ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 106 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.47s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/refine-7b98a2a38d2f17b4)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/agent_cli.rs (/opt/rustwide/target/debug/deps/agent_cli-cecdc72fd464eac0)
[INFO] [stdout] 
[INFO] [stdout] running 28 tests
[INFO] [stdout] test agent_docs_and_schema_exist ... ok
[INFO] [stdout] test agent_kernel_complete_evidence_with_human_approval_reaches_human_reviewed ... ok
[INFO] [stdout] test agent_kernel_execute_runs_lint_and_bitexact_gate ... ok
[INFO] [stdout] test agent_kernel_complete_evidence_without_approval_only_blocks_human_review ... ok
[INFO] [stdout] test agent_devops_local_report_cannot_claim_release_ready_ci ... ok
[INFO] [stdout] test agent_devops_default_report_cannot_claim_ci_or_live_signing ... ok
[INFO] [stdout] test agent_kernel_check_creates_output_dir_before_lint_command ... ok
[INFO] [stdout] test agent_devops_rejects_fake_env_presence_as_production_evidence ... ok
[INFO] [stdout] test agent_kernel_rejects_fake_env_presence_as_production_evidence ... ok
[INFO] [stdout] test agent_devops_offline_release_proof_does_not_claim_hosted_ci_or_human_reviewed ... ok
[INFO] [stdout] test agent_lean_inspect_writes_report ... ok
[INFO] [stdout] test agent_runtime_hashes_artifact_receipts_deterministically ... ok
[INFO] [stdout] test helyx_bitexact_smoke_uses_portable_command ... ok
[INFO] [stdout] test agent_train_allow_expensive_still_cannot_claim_model_quality ... ok
[INFO] [stdout] test agent_train_execute_runs_data_audit_and_dry_run_training ... ok
[INFO] [stdout] test agent_train_complete_production_evidence_reaches_human_reviewed ... ok
[INFO] [stdout] test agent_train_rejects_fake_production_evidence_env_paths ... ok
[INFO] [stdout] test agent_train_rejects_loss_only_eval_evidence ... ok
[INFO] [stdout] test agent_train_rejects_promotion_manifest_with_checkpoint_hash_mismatch ... ok
[INFO] [stdout] test agent_devops_train_and_kernel_inspect_reports_are_truth_bounded ... ok
[INFO] [stdout] test agent_train_complete_evidence_without_approval_names_human_review_blocker ... ok
[INFO] [stdout] test agent_run_all_inspect_writes_dashboard_and_role_reports ... ok
[INFO] [stdout] test agent_lean_check_keeps_model_only_scope_as_trust_floor ... FAILED
[INFO] [stdout] test agent_lean_evidence_dir_consumes_bundle_evidence_without_overriding_model_only_scope ... FAILED
[INFO] [stdout] test agent_lean_model_only_claims_block_production_proof ... FAILED
[INFO] [stdout] test agent_train_check_records_pass_fail_and_blocked_statuses ... ok
[INFO] [stdout] test agent_train_live_run_without_eval_cannot_claim_model_quality ... ok
[INFO] [stdout] test agent_kernel_stub_fixture_cannot_claim_cuda_correctness ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- agent_lean_check_keeps_model_only_scope_as_trust_floor stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'agent_lean_check_keeps_model_only_scope_as_trust_floor' (528) panicked at crates/refineforge-cli/tests/agent_cli.rs:27:5:
[INFO] [stdout] stdout:
[INFO] [stdout] REFINEFORGE-TRUST-006  Verified       types=0/0  fns=4/4  hash=5f8a94f943b4
[INFO] [stdout] CLAIM-CRS-004          NoRustSource   types=0/0  fns=0/0  hash=e5511079e05d
[INFO] [stdout] EXAMPLE-001            NoRustSource   types=0/0  fns=0/0  hash=fbe5ee9014a0
[INFO] [stdout] CLAIM-CRS-005          NoRustSource   types=0/0  fns=0/0  hash=e2f0b47d481c
[INFO] [stdout] CLAIM-CRS-001          NoRustSource   types=0/0  fns=0/0  hash=38c50aeb4ebe
[INFO] [stdout] REFINEFORGE-TRUST-007  Verified       types=1/1  fns=2/2  hash=0d9d0c4eaddf
[INFO] [stdout] EXAMPLE-003            Verified       types=1/1  fns=2/2  hash=2675af5476f3
[INFO] [stdout] CLAIM-CRS-003          NoRustSource   types=0/0  fns=0/0  hash=5c5ff31f45c8
[INFO] [stdout] REFINEFORGE-TRUST-003  Verified       types=0/0  fns=2/2  hash=6e72105bd965
[INFO] [stdout] REFINEFORGE-TRUST-002  Verified       types=0/0  fns=1/1  hash=8be566f3d5d9
[INFO] [stdout] REFINEFORGE-TRUST-001  Verified       types=1/1  fns=2/2  hash=13a66eb9a0c6
[INFO] [stdout] CLAIM-CRS-002          NoRustSource   types=0/0  fns=0/0  hash=1ccc239ef5d1
[INFO] [stdout] REFINEFORGE-TRUST-004  Verified       types=0/0  fns=2/2  hash=bc7d22ed0951
[INFO] [stdout] REFINEFORGE-TRUST-005  Verified       types=0/0  fns=2/2  hash=776437d57a1d
[INFO] [stdout] EXAMPLE-002            Verified       types=1/1  fns=1/1  hash=bc03580c7a13
[INFO] [stdout] HELYX-AUDIT-001        NoRustSource   types=0/0  fns=0/0  hash=44af15ca5e73
[INFO] [stdout] REFINEFORGE-TRUST-006  errors=0 warnings=0
[INFO] [stdout] CLAIM-CRS-004          errors=0 warnings=0
[INFO] [stdout] EXAMPLE-001            errors=0 warnings=0
[INFO] [stdout] CLAIM-CRS-005          errors=0 warnings=0
[INFO] [stdout] CLAIM-CRS-001          errors=0 warnings=0
[INFO] [stdout] REFINEFORGE-TRUST-007  errors=0 warnings=0
[INFO] [stdout] EXAMPLE-003            errors=0 warnings=0
[INFO] [stdout] CLAIM-CRS-003          errors=0 warnings=0
[INFO] [stdout] REFINEFORGE-TRUST-003  errors=0 warnings=0
[INFO] [stdout] REFINEFORGE-TRUST-002  errors=0 warnings=0
[INFO] [stdout] REFINEFORGE-TRUST-001  errors=0 warnings=0
[INFO] [stdout] CLAIM-CRS-002          errors=0 warnings=0
[INFO] [stdout] REFINEFORGE-TRUST-004  errors=0 warnings=0
[INFO] [stdout] REFINEFORGE-TRUST-005  errors=0 warnings=0
[INFO] [stdout] EXAMPLE-002            errors=0 warnings=0
[INFO] [stdout] HELYX-AUDIT-001        errors=0 warnings=6
[INFO] [stdout] {
[INFO] [stdout]   "schema_version": "agent-report-v1",
[INFO] [stdout]   "agent": "lean",
[INFO] [stdout]   "mode": "check",
[INFO] [stdout]   "target": "helyx",
[INFO] [stdout]   "liveness": {
[INFO] [stdout]     "state": "alive",
[INFO] [stdout]     "checked_at": "2026-06-12T00:02:27.141196975Z",
[INFO] [stdout]     "agent": "lean",
[INFO] [stdout]     "mode": "check",
[INFO] [stdout]     "target": "helyx",
[INFO] [stdout]     "command_surface": "refine agent lean"
[INFO] [stdout]   },
[INFO] [stdout]   "runtime": {
[INFO] [stdout]     "runtime_version": "agent-runtime-v1",
[INFO] [stdout]     "agent": "lean",
[INFO] [stdout]     "mode": "check",
[INFO] [stdout]     "target": "helyx",
[INFO] [stdout]     "authority": {
[INFO] [stdout]       "source_of_truth": "cli_report",
[INFO] [stdout]       "prompt_authority": "advisory_only",
[INFO] [stdout]       "memory_authority": "non_authoritative",
[INFO] [stdout]       "human_review_rule": "human-reviewed trust requires explicit human_operator evidence; prompts, memory, and role text cannot upgrade it."
[INFO] [stdout]     },
[INFO] [stdout]     "trust_ceiling": "model-linked",
[INFO] [stdout]     "action_intents": [
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.inspect.claims",
[INFO] [stdout]         "name": "Inspect Lean inventory and claim scopes",
[INFO] [stdout]         "category": "inspect",
[INFO] [stdout]         "mutation_policy": "read_only",
[INFO] [stdout]         "command_surface": "refine agent lean --mode inspect",
[INFO] [stdout]         "evidence_required": [
[INFO] [stdout]           "docs/verification/proof-inventory.md",
[INFO] [stdout]           "claims/*.yaml",
[INFO] [stdout]           "lean/Refineforge.lean"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.verify.gates",
[INFO] [stdout]         "name": "Run Lean, scan, and claim lint gates",
[INFO] [stdout]         "category": "verify",
[INFO] [stdout]         "mutation_policy": "writes_evidence",
[INFO] [stdout]         "command_surface": "refine agent lean --mode check",
[INFO] [stdout]         "evidence_required": [
[INFO] [stdout]           "lean-check-all",
[INFO] [stdout]           "scan-check-all",
[INFO] [stdout]           "lint-check-all"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.classify.trust",
[INFO] [stdout]         "name": "Classify model-only versus model-linked trust",
[INFO] [stdout]         "category": "audit",
[INFO] [stdout]         "mutation_policy": "evidence_only",
[INFO] [stdout]         "command_surface": "refine agent lean --mode check",
[INFO] [stdout]         "evidence_required": [
[INFO] [stdout]           "claim.scope",
[INFO] [stdout]           "claim.rust_source",
[INFO] [stdout]           "docs/refinement/<claim>.md"
[INFO] [stdout]         ]
[INFO] [stdout]       }
[INFO] [stdout]     ],
[INFO] [stdout]     "evidence_receipts": [
[INFO] [stdout]       {
[INFO] [stdout]         "id": "artifact:claims",
[INFO] [stdout]         "kind": "artifact",
[INFO] [stdout]         "subject": "artifact:claims",
[INFO] [stdout]         "status": "present_dir",
[INFO] [stdout]         "sha256": "458e143216bd47090e0f449a3ed1b3e70470b8b5b5f7b6689c3ff28e5817ac67",
[INFO] [stdout]         "detail": "directory evidence at ./claims"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "artifact:docs/verification/lean-production-proof-checklist.md",
[INFO] [stdout]         "kind": "artifact",
[INFO] [stdout]         "subject": "artifact:docs/verification/lean-production-proof-checklist.md",
[INFO] [stdout]         "status": "present_file",
[INFO] [stdout]         "sha256": "2e95db920204f001e4cdaa95f5023aa50a5ce7798572a0c076c51c1b16c6fdff",
[INFO] [stdout]         "detail": "file evidence at ./docs/verification/lean-production-proof-checklist.md"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "artifact:docs/verification/proof-inventory.md",
[INFO] [stdout]         "kind": "artifact",
[INFO] [stdout]         "subject": "artifact:docs/verification/proof-inventory.md",
[INFO] [stdout]         "status": "present_file",
[INFO] [stdout]         "sha256": "dcbece6689de6bbb398e119489f482922d0e59c8d0517de4f8bb7be401d8e0d8",
[INFO] [stdout]         "detail": "file evidence at ./docs/verification/proof-inventory.md"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "artifact:lean/Refineforge.lean",
[INFO] [stdout]         "kind": "artifact",
[INFO] [stdout]         "subject": "artifact:lean/Refineforge.lean",
[INFO] [stdout]         "status": "present_file",
[INFO] [stdout]         "sha256": "c1a84ad87f16a356940f62ec94e3620018154f7330f93ed62ab04dc72c543efa",
[INFO] [stdout]         "detail": "file evidence at ./lean/Refineforge.lean"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "command:lean-check-all",
[INFO] [stdout]         "kind": "command",
[INFO] [stdout]         "subject": "command:lean-check-all",
[INFO] [stdout]         "status": "failed",
[INFO] [stdout]         "sha256": "14fa4e59773ab08da08880ac49be02020c03516fd4216e5944223bf00d40f431",
[INFO] [stdout]         "detail": "refine lean check-all"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "command:lint-check-all",
[INFO] [stdout]         "kind": "command",
[INFO] [stdout]         "subject": "command:lint-check-all",
[INFO] [stdout]         "status": "passed",
[INFO] [stdout]         "sha256": "4fe0122895db9d23e7abefebac3dd45f631aa2556c2f76d4b534e7ffb24ebbbb",
[INFO] [stdout]         "detail": "refine lint check-all"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "command:scan-check-all",
[INFO] [stdout]         "kind": "command",
[INFO] [stdout]         "subject": "command:scan-check-all",
[INFO] [stdout]         "status": "passed",
[INFO] [stdout]         "sha256": "b3db51ccff706efa30d6b8de49ba6378f8e921ab63c8d5c045dde44b8d787041",
[INFO] [stdout]         "detail": "refine scan check-all"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "tool_check:lake",
[INFO] [stdout]         "kind": "tool_check",
[INFO] [stdout]         "subject": "tool_check:lake",
[INFO] [stdout]         "status": "not_checked",
[INFO] [stdout]         "sha256": "d1299c346ebb0981371032b0fe897496e0af9764c941e75a8df9296be27194d9",
[INFO] [stdout]         "detail": "external tool availability is environment-specific"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "tool_check:refine",
[INFO] [stdout]         "kind": "tool_check",
[INFO] [stdout]         "subject": "tool_check:refine",
[INFO] [stdout]         "status": "available",
[INFO] [stdout]         "sha256": "040673b0feb828d0cf7d1eab84673ba91e51460f580c7c7f86dc54085e1cdcaa",
[INFO] [stdout]         "detail": "provided by the local Cargo workspace command surface"
[INFO] [stdout]       }
[INFO] [stdout]     ],
[INFO] [stdout]     "policy_decisions": [
[INFO] [stdout]       {
[INFO] [stdout]         "id": "human_review_required",
[INFO] [stdout]         "status": "enforced",
[INFO] [stdout]         "detail": "human-reviewed trust requires explicit human_operator evidence and is never inferred from an agent pass"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "memory_non_authoritative",
[INFO] [stdout]         "status": "enforced",
[INFO] [stdout]         "detail": "memory and prior runs may guide investigation but cannot upgrade trust without current report evidence"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "no_prompt_trust_upgrade",
[INFO] [stdout]         "status": "enforced",
[INFO] [stdout]         "detail": "role prompts may guide work, but only CLI evidence and claim scope rules can set report trust"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "trust_ceiling",
[INFO] [stdout]         "status": "enforced",
[INFO] [stdout]         "detail": "lean agent trust is bounded at or below model-linked for this command surface"
[INFO] [stdout]       }
[INFO] [stdout]     ],
[INFO] [stdout]     "typed_blockers": []
[INFO] [stdout]   },
[INFO] [stdout]   "production_proof": {
[INFO] [stdout]     "agent": "lean",
[INFO] [stdout]     "profile": "lean-production-proof",
[INFO] [stdout]     "status": "blocked",
[INFO] [stdout]     "trust_effect": "bounded-by-evidence",
[INFO] [stdout]     "requirements": [
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.no_sorry_gate",
[INFO] [stdout]         "description": "Lean theorem gate passes without sorry, admit, or project-local axioms",
[INFO] [stdout]         "status": "blocked",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "lean-check-all not run or failed"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.rust_scan_symbols",
[INFO] [stdout]         "description": "Deterministic Rust scan resolves every cited implementation symbol",
[INFO] [stdout]         "status": "passed",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "scan-check-all passed"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.claim_scope_model_refined",
[INFO] [stdout]         "description": "Every selected implementation claim uses model+refined scope",
[INFO] [stdout]         "status": "blocked",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "selected claims: CLAIM-CRS-001, CLAIM-CRS-002, CLAIM-CRS-003, CLAIM-CRS-004, CLAIM-CRS-005, EXAMPLE-001, EXAMPLE-002, EXAMPLE-003, HELYX-AUDIT-001, REFINEFORGE-TRUST-001, REFINEFORGE-TRUST-002, REFINEFORGE-TRUST-003, REFINEFORGE-TRUST-004, REFINEFORGE-TRUST-005, REFINEFORGE-TRUST-006, REFINEFORGE-TRUST-007"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.refinement_docs",
[INFO] [stdout]         "description": "Every selected implementation claim has a refinement document",
[INFO] [stdout]         "status": "blocked",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "no missing implementation refinement docs detected"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.bundle_hashes",
[INFO] [stdout]         "description": "Selected claims have exported verification bundle hashes",
[INFO] [stdout]         "status": "passed",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "CLAIM-CRS-001: artifacts/CLAIM-CRS-001/manifest.json (report_sha256=40564941f7583523719683b951213602150a7aafcb36be9e6256d31b6de8dc00)",
[INFO] [stdout]           "CLAIM-CRS-002: artifacts/CLAIM-CRS-002/manifest.json (report_sha256=920f03817f385956ebd70c9a0037b9b977f8a16794d73fe7996993b23c295e87)",
[INFO] [stdout]           "CLAIM-CRS-003: artifacts/CLAIM-CRS-003/manifest.json (report_sha256=800ad4181edd75f09604feb1912da73f53259a5becc223cefd6a9b12e54c450a)",
[INFO] [stdout]           "CLAIM-CRS-004: artifacts/CLAIM-CRS-004/manifest.json (report_sha256=b25239f659a647125f90abf6f772accdbb0e71a43b9b40a877cd12f774d02372)",
[INFO] [stdout]           "CLAIM-CRS-005: artifacts/CLAIM-CRS-005/manifest.json (report_sha256=ac2c319b2127085d734e048b1c3523377ff697ecf5316b3bf49679ee59fe2cf0)",
[INFO] [stdout]           "EXAMPLE-001: artifacts/EXAMPLE-001/manifest.json (report_sha256=ec7fbd778f82df23b66741c1582b340d9cd18562cad30dcfc6503d708d84c5c2)",
[INFO] [stdout]           "EXAMPLE-002: artifacts/EXAMPLE-002/manifest.json (report_sha256=996d7e8b81f22e33059be504a877672a1aa6f86779ca2e635e4072a082af417e)",
[INFO] [stdout]           "EXAMPLE-003: artifacts/EXAMPLE-003/manifest.json (report_sha256=faa7a359ffe14f73cf2ee447c2e40a2f0c45a5e664bdf297d84a7cb7e4b5e08e)",
[INFO] [stdout]           "HELYX-AUDIT-001: artifacts/HELYX-AUDIT-001/manifest.json (report_sha256=cd986595ee963aff039a5afb9f1de13bde723d2a7eefd5bb624cb9620ebc4f01)",
[INFO] [stdout]           "REFINEFORGE-TRUST-001: artifacts/REFINEFORGE-TRUST-001/manifest.json (report_sha256=10fae4118735d7196054fc1cc7f32cb50d06cbfaf5bbf1b5ad7951f8e01fc8ec)",
[INFO] [stdout]           "REFINEFORGE-TRUST-002: artifacts/REFINEFORGE-TRUST-002/manifest.json (report_sha256=23ed7e05b1e0ee98f2e5ec4a59d624f6e018a2a6040dfc9c7be5f964a9a09987)",
[INFO] [stdout]           "REFINEFORGE-TRUST-003: artifacts/REFINEFORGE-TRUST-003/manifest.json (report_sha256=03634675b0283cb5fbd15ba1a3653088e6f5d8432e500959d1143e1480bdeefc)",
[INFO] [stdout]           "REFINEFORGE-TRUST-004: artifacts/REFINEFORGE-TRUST-004/manifest.json (report_sha256=bb14c610cf6fa0d12783d70981d233419b727833e5a76ea03bf6c206c4abc66a)",
[INFO] [stdout]           "REFINEFORGE-TRUST-005: artifacts/REFINEFORGE-TRUST-005/manifest.json (report_sha256=c08fa5e849e8a180932e91b70b4ce7eb5ee486aa101ef15843476c0e0f27474e)",
[INFO] [stdout]           "REFINEFORGE-TRUST-006: artifacts/REFINEFORGE-TRUST-006/manifest.json (report_sha256=6f93aa019ac2d1728ee117530ccfe41d7d5bdc25316137d84243adfa7d28242b)",
[INFO] [stdout]           "REFINEFORGE-TRUST-007: artifacts/REFINEFORGE-TRUST-007/manifest.json (report_sha256=f132031d24a6fa77ecd873b52f193f8d56fe1c6dd19e688a3f4676b8b0433056)"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.human_review",
[INFO] [stdout]         "description": "Every selected implementation claim has explicit human review",
[INFO] [stdout]         "status": "blocked",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "Lean human approval path is absent"
[INFO] [stdout]         ]
[INFO] [stdout]       }
[INFO] [stdout]     ],
[INFO] [stdout]     "reviewer_evidence": [
[INFO] [stdout]       "REFINEFORGE-TRUST-001 reviewed by Galo Serrano Abad on 2026-05-29",
[INFO] [stdout]       "REFINEFORGE-TRUST-002 reviewed by Galo Serrano Abad on 2026-05-29",
[INFO] [stdout]       "REFINEFORGE-TRUST-003 reviewed by Galo Serrano Abad on 2026-05-29",
[INFO] [stdout]       "REFINEFORGE-TRUST-004 reviewed by Galo Serrano Abad on 2026-05-29",
[INFO] [stdout]       "REFINEFORGE-TRUST-005 reviewed by Galo Serrano Abad on 2026-05-29",
[INFO] [stdout]       "REFINEFORGE-TRUST-006 reviewed by Galo Serrano Abad on 2026-05-29",
[INFO] [stdout]       "REFINEFORGE-TRUST-007 reviewed by Galo Serrano Abad on 2026-05-29"
[INFO] [stdout]     ],
[INFO] [stdout]     "blockers": [
[INFO] [stdout]       "Lean production proof requires a passing lean-check-all command",
[INFO] [stdout]       "model-only claims block implementation production proof: CLAIM-CRS-001, CLAIM-CRS-002, CLAIM-CRS-003, CLAIM-CRS-004, CLAIM-CRS-005, EXAMPLE-001, HELYX-AUDIT-001",
[INFO] [stdout]       "missing human review blocks production proof: CLAIM-CRS-001, CLAIM-CRS-002, CLAIM-CRS-003, CLAIM-CRS-004, CLAIM-CRS-005, EXAMPLE-001, EXAMPLE-002, EXAMPLE-003, HELYX-AUDIT-001"
[INFO] [stdout]     ]
[INFO] [stdout]   },
[INFO] [stdout]   "assurance_profiles": [],
[INFO] [stdout]   "capabilities": [
[INFO] [stdout]     {
[INFO] [stdout]       "name": "proof-inventory",
[INFO] [stdout]       "status": "available",
[INFO] [stdout]       "evidence": "inspects Lean theorem inventory and claim linkage surfaces"
[INFO] [stdout]     },
[INFO] [stdout]     {
[INFO] [stdout]       "name": "verification-gates",
[INFO] [stdout]       "status": "available",
[INFO] [stdout]       "evidence": "runs Lean, scanner, and claim-linter gates in check/repair/execute modes"
[INFO] [stdout]     },
[INFO] [stdout]     {
[INFO] [stdout]       "name": "truth-bounded-claims",
[INFO] [stdout]       "status": "available",
[INFO] [stdout]       "evidence": "keeps CRS/model-only scopes separate from implementation correctness claims"
[INFO] [stdout]     },
[INFO] [stdout]     {
[INFO] [stdout]       "name": "repair-boundary",
[INFO] [stdout]       "status": "evidence_only",
[INFO] [stdout]       "evidence": "repair mode runs the same verification gates and reports blockers for operator-directed fixes"
[INFO] [stdout]     }
[INFO] [stdout]   ],
[INFO] [stdout]   "tool_checks": [
[INFO] [stdout]     {
[INFO] [stdout]       "name": "refine",
[INFO] [stdout]       "required": true,
[INFO] [stdout]       "status": "available",
[INFO] [stdout]       "detail": "provided by the local Cargo workspace command surface"
[INFO] [stdout]     },
[INFO] [stdout]     {
[INFO] [stdout]       "name": "lake",
[INFO] [stdout]       "required": false,
[INFO] [stdout]       "status": "not_checked",
[INFO] [stdout]       "detail": "external tool availability is environment-specific"
[INFO] [stdout]     }
[INFO] [stdout]   ],
[INFO] [stdout]   "started_at": "2026-06-12T00:02:27.141196975Z",
[INFO] [stdout]   "finished_at": "2026-06-12T00:02:28.047864788Z",
[INFO] [stdout]   "status": "failed",
[INFO] [stdout]   "trust_level": "blocked",
[INFO] [stdout]   "commands": [
[INFO] [stdout]     {
[INFO] [stdout]       "name": "lean-check-all",
[INFO] [stdout]       "command": [
[INFO] [stdout]         "refine",
[INFO] [stdout]         "lean",
[INFO] [stdout]         "check-all"
[INFO] [stdout]       ],
[INFO] [stdout]       "status": "failed",
[INFO] [stdout]       "duration_ms": 28,
[INFO] [stdout]       "exit_code": null,
[INFO] [stdout]       "stdout_tail": null,
[INFO] [stdout]       "stderr_tail": "failed to create Lake build lock at ./lean/.refineforge-lean-check-all.lock: Read-only file system (os error 30)"
[INFO] [stdout]     },
[INFO] [stdout]     {
[INFO] [stdout]       "name": "scan-check-all",
[INFO] [stdout]       "command": [
[INFO] [stdout]         "refine",
[INFO] [stdout]         "scan",
[INFO] [stdout]         "check-all"
[INFO] [stdout]       ],
[INFO] [stdout]       "status": "passed",
[INFO] [stdout]       "duration_ms": 514,
[INFO] [stdout]       "exit_code": null,
[INFO] [stdout]       "stdout_tail": null,
[INFO] [stdout]       "stderr_tail": null
[INFO] [stdout]     },
[INFO] [stdout]     {
[INFO] [stdout]       "name": "lint-check-all",
[INFO] [stdout]       "command": [
[INFO] [stdout]         "refine",
[INFO] [stdout]         "lint",
[INFO] [stdout]         "check-all"
[INFO] [stdout]       ],
[INFO] [stdout]       "status": "passed",
[INFO] [stdout]       "duration_ms": 351,
[INFO] [stdout]       "exit_code": null,
[INFO] [stdout]       "stdout_tail": null,
[INFO] [stdout]       "stderr_tail": null
[INFO] [stdout]     }
[INFO] [stdout]   ],
[INFO] [stdout]   "changed_files": [],
[INFO] [stdout]   "artifacts": [
[INFO] [stdout]     "docs/verification/proof-inventory.md",
[INFO] [stdout]     "docs/verification/lean-production-proof-checklist.md",
[INFO] [stdout]     "claims",
[INFO] [stdout]     "lean/Refineforge.lean"
[INFO] [stdout]   ],
[INFO] [stdout]   "blockers": [],
[INFO] [stdout]   "warnings": [],
[INFO] [stdout]   "summary": "One or more Lean verification gates failed. See command records for the failing gate."
[INFO] [stdout] }
[INFO] [stdout] 
[INFO] [stdout] stderr:
[INFO] [stdout] Error: lean agent finished with status failed
[INFO] [stdout] 
[INFO] [stdout] Stack backtrace:
[INFO] [stdout]    0: <anyhow::Error>::msg::<alloc::string::String>
[INFO] [stdout]              at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/anyhow-1.0.102/src/backtrace.rs:10:14
[INFO] [stdout]    1: refineforge_cli::agent::status_to_result
[INFO] [stdout]              at ./crates/refineforge-cli/src/agent/mod.rs:292:9
[INFO] [stdout]    2: refineforge_cli::agent::run_role
[INFO] [stdout]              at ./crates/refineforge-cli/src/agent/mod.rs:52:5
[INFO] [stdout]    3: refine::main
[INFO] [stdout]              at ./crates/refineforge-cli/src/main.rs:840:17
[INFO] [stdout]    4: <fn() -> core::result::Result<(), anyhow::Error> as core::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/ops/function.rs:250:5
[INFO] [stdout]    5: std::sys::backtrace::__rust_begin_short_backtrace::<fn() -> core::result::Result<(), anyhow::Error>, core::result::Result<(), anyhow::Error>>
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]    6: std::rt::lang_start::<core::result::Result<(), anyhow::Error>>::{closure#0}
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/rt.rs:206:18
[INFO] [stdout]    7: <&dyn core::ops::function::Fn<(), Output = i32> + core::panic::unwind_safe::RefUnwindSafe + core::marker::Sync as core::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/ops/function.rs:287:21
[INFO] [stdout]    8: std::panicking::catch_unwind::do_call::<&dyn core::ops::function::Fn<(), Output = i32> + core::panic::unwind_safe::RefUnwindSafe + core::marker::Sync, i32>
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:581:40
[INFO] [stdout]    9: std::panicking::catch_unwind::<i32, &dyn core::ops::function::Fn<(), Output = i32> + core::panic::unwind_safe::RefUnwindSafe + core::marker::Sync>
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:544:19
[INFO] [stdout]   10: std::panic::catch_unwind::<&dyn core::ops::function::Fn<(), Output = i32> + core::panic::unwind_safe::RefUnwindSafe + core::marker::Sync, i32>
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panic.rs:359:14
[INFO] [stdout]   11: std::rt::lang_start_internal::{closure#0}
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/rt.rs:175:24
[INFO] [stdout]   12: std::panicking::catch_unwind::do_call::<std::rt::lang_start_internal::{closure#0}, isize>
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:581:40
[INFO] [stdout]   13: std::panicking::catch_unwind::<isize, std::rt::lang_start_internal::{closure#0}>
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:544:19
[INFO] [stdout]   14: std::panic::catch_unwind::<std::rt::lang_start_internal::{closure#0}, isize>
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panic.rs:359:14
[INFO] [stdout]   15: std::rt::lang_start_internal
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/rt.rs:171:5
[INFO] [stdout]   16: std::rt::lang_start::<core::result::Result<(), anyhow::Error>>
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/rt.rs:205:5
[INFO] [stdout]   17: main
[INFO] [stdout]   18: <unknown>
[INFO] [stdout]   19: __libc_start_main
[INFO] [stdout]   20: _start
[INFO] [stdout] 
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x61097a8aff88 - std[d054f6f42beb1baa]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x61097a8aff88 - std[d054f6f42beb1baa]::backtrace_rs::backtrace::trace_unsynchronized::<std[d054f6f42beb1baa]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x61097a8aff88 - std[d054f6f42beb1baa]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x61097a8aff88 - <<std[d054f6f42beb1baa]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[5a1c3e9896636f3a]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x61097a8c491a - <core[5a1c3e9896636f3a]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x61097a8c491a - core[5a1c3e9896636f3a]::fmt::write
[INFO] [stdout]    6:     0x61097a8b4882 - std[d054f6f42beb1baa]::io::default_write_fmt::<alloc[154f689e5dd3bae5]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/io/mod.rs:622:11
[INFO] [stdout]    7:     0x61097a8b4882 - <alloc[154f689e5dd3bae5]::vec::Vec<u8> as std[d054f6f42beb1baa]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/io/mod.rs:1977:13
[INFO] [stdout]    8:     0x61097a88cfb6 - <std[d054f6f42beb1baa]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x61097a88cfb6 - std[d054f6f42beb1baa]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x61097a8a7559 - std[d054f6f42beb1baa]::panicking::default_hook
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x61097a80bf8c - <alloc[154f689e5dd3bae5]::boxed::Box<dyn for<'a, 'b> core[5a1c3e9896636f3a]::ops::function::Fn<(&'a std[d054f6f42beb1baa]::panic::PanicHookInfo<'b>,), Output = ()> + core[5a1c3e9896636f3a]::marker::Send + core[5a1c3e9896636f3a]::marker::Sync> as core[5a1c3e9896636f3a]::ops::function::Fn<(&std[d054f6f42beb1baa]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/alloc/src/boxed.rs:2291:9
[INFO] [stdout]   12:     0x61097a80bf8c - test[fad20673b750c10e]::test_main_inner::<test[fad20673b750c10e]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/test/src/lib.rs:155:21
[INFO] [stdout]   13:     0x61097a8a7712 - <alloc[154f689e5dd3bae5]::boxed::Box<dyn for<'a, 'b> core[5a1c3e9896636f3a]::ops::function::Fn<(&'a std[d054f6f42beb1baa]::panic::PanicHookInfo<'b>,), Output = ()> + core[5a1c3e9896636f3a]::marker::Send + core[5a1c3e9896636f3a]::marker::Sync> as core[5a1c3e9896636f3a]::ops::function::Fn<(&std[d054f6f42beb1baa]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/alloc/src/boxed.rs:2291:9
[INFO] [stdout]   14:     0x61097a8a7712 - std[d054f6f42beb1baa]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x61097a88d072 - std[d054f6f42beb1baa]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x61097a8847d9 - std[d054f6f42beb1baa]::sys::backtrace::__rust_end_short_backtrace::<std[d054f6f42beb1baa]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x61097a88de1d - __rustc[7ab284efd7f33ea8]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x61097a8c506c - core[5a1c3e9896636f3a]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x61097a7b3226 - agent_cli[3d5e75332206c3b7]::assert_success
[INFO] [stdout]                                at /opt/rustwide/workdir/crates/refineforge-cli/tests/agent_cli.rs:27:5
[INFO] [stdout]   20:     0x61097a7c8303 - agent_cli[3d5e75332206c3b7]::agent_lean_check_keeps_model_only_scope_as_trust_floor
[INFO] [stdout]                                at /opt/rustwide/workdir/crates/refineforge-cli/tests/agent_cli.rs:524:5
[INFO] [stdout]   21:     0x61097a7b1737 - agent_cli[3d5e75332206c3b7]::agent_lean_check_keeps_model_only_scope_as_trust_floor::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/crates/refineforge-cli/tests/agent_cli.rs:516:60
[INFO] [stdout]   22:     0x61097a7e6366 - <agent_cli[3d5e75332206c3b7]::agent_lean_check_keeps_model_only_scope_as_trust_floor::{closure#0} as core[5a1c3e9896636f3a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   23:     0x61097a7ff06b - <fn() -> core[5a1c3e9896636f3a]::result::Result<(), alloc[154f689e5dd3bae5]::string::String> as core[5a1c3e9896636f3a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x61097a7ff06b - test[fad20673b750c10e]::__rust_begin_short_backtrace::<core[5a1c3e9896636f3a]::result::Result<(), alloc[154f689e5dd3bae5]::string::String>, fn() -> core[5a1c3e9896636f3a]::result::Result<(), alloc[154f689e5dd3bae5]::string::String>>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/test/src/lib.rs:724:18
[INFO] [stdout]   25:     0x61097a80c8e5 - test[fad20673b750c10e]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/test/src/lib.rs:747:74
[INFO] [stdout]   26:     0x61097a80c8e5 - <core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<test[fad20673b750c10e]::run_test_in_process::{closure#0}> as core[5a1c3e9896636f3a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   27:     0x61097a80c8e5 - std[d054f6f42beb1baa]::panicking::catch_unwind::do_call::<core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<test[fad20673b750c10e]::run_test_in_process::{closure#0}>, core[5a1c3e9896636f3a]::result::Result<(), alloc[154f689e5dd3bae5]::string::String>>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:581:40
[INFO] [stdout]   28:     0x61097a80c8e5 - std[d054f6f42beb1baa]::panicking::catch_unwind::<core[5a1c3e9896636f3a]::result::Result<(), alloc[154f689e5dd3bae5]::string::String>, core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<test[fad20673b750c10e]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:544:19
[INFO] [stdout]   29:     0x61097a80c8e5 - std[d054f6f42beb1baa]::panic::catch_unwind::<core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<test[fad20673b750c10e]::run_test_in_process::{closure#0}>, core[5a1c3e9896636f3a]::result::Result<(), alloc[154f689e5dd3bae5]::string::String>>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panic.rs:359:14
[INFO] [stdout]   30:     0x61097a80c8e5 - test[fad20673b750c10e]::run_test_in_process
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/test/src/lib.rs:747:27
[INFO] [stdout]   31:     0x61097a80c8e5 - test[fad20673b750c10e]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/test/src/lib.rs:668:43
[INFO] [stdout]   32:     0x61097a807444 - test[fad20673b750c10e]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/test/src/lib.rs:698:41
[INFO] [stdout]   33:     0x61097a807444 - std[d054f6f42beb1baa]::sys::backtrace::__rust_begin_short_backtrace::<test[fad20673b750c10e]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   34:     0x61097a80f962 - std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked::<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/thread/lifecycle.rs:70:13
[INFO] [stdout]   35:     0x61097a80f962 - <core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[5a1c3e9896636f3a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   36:     0x61097a80f962 - std[d054f6f42beb1baa]::panicking::catch_unwind::do_call::<core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:581:40
[INFO] [stdout]   37:     0x61097a80f962 - std[d054f6f42beb1baa]::panicking::catch_unwind::<(), core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:544:19
[INFO] [stdout]   38:     0x61097a80f962 - std[d054f6f42beb1baa]::panic::catch_unwind::<core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panic.rs:359:14
[INFO] [stdout]   39:     0x61097a80f962 - std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked::<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/thread/lifecycle.rs:68:26
[INFO] [stdout]   40:     0x61097a80f962 - <std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1} as core[5a1c3e9896636f3a]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   41:     0x61097a8af0ff - <alloc[154f689e5dd3bae5]::boxed::Box<dyn core[5a1c3e9896636f3a]::ops::function::FnOnce<(), Output = ()> + core[5a1c3e9896636f3a]::marker::Send> as core[5a1c3e9896636f3a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/alloc/src/boxed.rs:2277:9
[INFO] [stdout]   42:     0x61097a8af0ff - <std[d054f6f42beb1baa]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stdout]   43:     0x79c93b5d3aa4 - <unknown>
[INFO] [stdout]   44:     0x79c93b660a64 - clone
[INFO] [stdout]   45:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- agent_lean_evidence_dir_consumes_bundle_evidence_without_overriding_model_only_scope stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'agent_lean_evidence_dir_consumes_bundle_evidence_without_overriding_model_only_scope' (529) panicked at crates/refineforge-cli/tests/agent_cli.rs:27:5:
[INFO] [stdout] stdout:
[INFO] [stdout] REFINEFORGE-TRUST-006  Verified       types=0/0  fns=4/4  hash=5f8a94f943b4
[INFO] [stdout] CLAIM-CRS-004          NoRustSource   types=0/0  fns=0/0  hash=e5511079e05d
[INFO] [stdout] EXAMPLE-001            NoRustSource   types=0/0  fns=0/0  hash=fbe5ee9014a0
[INFO] [stdout] CLAIM-CRS-005          NoRustSource   types=0/0  fns=0/0  hash=e2f0b47d481c
[INFO] [stdout] CLAIM-CRS-001          NoRustSource   types=0/0  fns=0/0  hash=38c50aeb4ebe
[INFO] [stdout] REFINEFORGE-TRUST-007  Verified       types=1/1  fns=2/2  hash=0d9d0c4eaddf
[INFO] [stdout] EXAMPLE-003            Verified       types=1/1  fns=2/2  hash=2675af5476f3
[INFO] [stdout] CLAIM-CRS-003          NoRustSource   types=0/0  fns=0/0  hash=5c5ff31f45c8
[INFO] [stdout] REFINEFORGE-TRUST-003  Verified       types=0/0  fns=2/2  hash=6e72105bd965
[INFO] [stdout] REFINEFORGE-TRUST-002  Verified       types=0/0  fns=1/1  hash=8be566f3d5d9
[INFO] [stdout] REFINEFORGE-TRUST-001  Verified       types=1/1  fns=2/2  hash=13a66eb9a0c6
[INFO] [stdout] CLAIM-CRS-002          NoRustSource   types=0/0  fns=0/0  hash=1ccc239ef5d1
[INFO] [stdout] REFINEFORGE-TRUST-004  Verified       types=0/0  fns=2/2  hash=bc7d22ed0951
[INFO] [stdout] REFINEFORGE-TRUST-005  Verified       types=0/0  fns=2/2  hash=776437d57a1d
[INFO] [stdout] EXAMPLE-002            Verified       types=1/1  fns=1/1  hash=bc03580c7a13
[INFO] [stdout] HELYX-AUDIT-001        NoRustSource   types=0/0  fns=0/0  hash=44af15ca5e73
[INFO] [stdout] REFINEFORGE-TRUST-006  errors=0 warnings=0
[INFO] [stdout] CLAIM-CRS-004          errors=0 warnings=0
[INFO] [stdout] EXAMPLE-001            errors=0 warnings=0
[INFO] [stdout] CLAIM-CRS-005          errors=0 warnings=0
[INFO] [stdout] CLAIM-CRS-001          errors=0 warnings=0
[INFO] [stdout] REFINEFORGE-TRUST-007  errors=0 warnings=0
[INFO] [stdout] EXAMPLE-003            errors=0 warnings=0
[INFO] [stdout] CLAIM-CRS-003          errors=0 warnings=0
[INFO] [stdout] REFINEFORGE-TRUST-003  errors=0 warnings=0
[INFO] [stdout] REFINEFORGE-TRUST-002  errors=0 warnings=0
[INFO] [stdout] REFINEFORGE-TRUST-001  errors=0 warnings=0
[INFO] [stdout] CLAIM-CRS-002          errors=0 warnings=0
[INFO] [stdout] REFINEFORGE-TRUST-004  errors=0 warnings=0
[INFO] [stdout] REFINEFORGE-TRUST-005  errors=0 warnings=0
[INFO] [stdout] EXAMPLE-002            errors=0 warnings=0
[INFO] [stdout] HELYX-AUDIT-001        errors=0 warnings=6
[INFO] [stdout] {
[INFO] [stdout]   "schema_version": "agent-report-v1",
[INFO] [stdout]   "agent": "lean",
[INFO] [stdout]   "mode": "check",
[INFO] [stdout]   "target": "helyx",
[INFO] [stdout]   "liveness": {
[INFO] [stdout]     "state": "alive",
[INFO] [stdout]     "checked_at": "2026-06-12T00:02:27.141081055Z",
[INFO] [stdout]     "agent": "lean",
[INFO] [stdout]     "mode": "check",
[INFO] [stdout]     "target": "helyx",
[INFO] [stdout]     "command_surface": "refine agent lean"
[INFO] [stdout]   },
[INFO] [stdout]   "runtime": {
[INFO] [stdout]     "runtime_version": "agent-runtime-v1",
[INFO] [stdout]     "agent": "lean",
[INFO] [stdout]     "mode": "check",
[INFO] [stdout]     "target": "helyx",
[INFO] [stdout]     "authority": {
[INFO] [stdout]       "source_of_truth": "cli_report",
[INFO] [stdout]       "prompt_authority": "advisory_only",
[INFO] [stdout]       "memory_authority": "non_authoritative",
[INFO] [stdout]       "human_review_rule": "human-reviewed trust requires explicit human_operator evidence; prompts, memory, and role text cannot upgrade it."
[INFO] [stdout]     },
[INFO] [stdout]     "trust_ceiling": "model-linked",
[INFO] [stdout]     "action_intents": [
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.inspect.claims",
[INFO] [stdout]         "name": "Inspect Lean inventory and claim scopes",
[INFO] [stdout]         "category": "inspect",
[INFO] [stdout]         "mutation_policy": "read_only",
[INFO] [stdout]         "command_surface": "refine agent lean --mode inspect",
[INFO] [stdout]         "evidence_required": [
[INFO] [stdout]           "docs/verification/proof-inventory.md",
[INFO] [stdout]           "claims/*.yaml",
[INFO] [stdout]           "lean/Refineforge.lean"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.verify.gates",
[INFO] [stdout]         "name": "Run Lean, scan, and claim lint gates",
[INFO] [stdout]         "category": "verify",
[INFO] [stdout]         "mutation_policy": "writes_evidence",
[INFO] [stdout]         "command_surface": "refine agent lean --mode check",
[INFO] [stdout]         "evidence_required": [
[INFO] [stdout]           "lean-check-all",
[INFO] [stdout]           "scan-check-all",
[INFO] [stdout]           "lint-check-all"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.classify.trust",
[INFO] [stdout]         "name": "Classify model-only versus model-linked trust",
[INFO] [stdout]         "category": "audit",
[INFO] [stdout]         "mutation_policy": "evidence_only",
[INFO] [stdout]         "command_surface": "refine agent lean --mode check",
[INFO] [stdout]         "evidence_required": [
[INFO] [stdout]           "claim.scope",
[INFO] [stdout]           "claim.rust_source",
[INFO] [stdout]           "docs/refinement/<claim>.md"
[INFO] [stdout]         ]
[INFO] [stdout]       }
[INFO] [stdout]     ],
[INFO] [stdout]     "evidence_receipts": [
[INFO] [stdout]       {
[INFO] [stdout]         "id": "artifact:claims",
[INFO] [stdout]         "kind": "artifact",
[INFO] [stdout]         "subject": "artifact:claims",
[INFO] [stdout]         "status": "present_dir",
[INFO] [stdout]         "sha256": "458e143216bd47090e0f449a3ed1b3e70470b8b5b5f7b6689c3ff28e5817ac67",
[INFO] [stdout]         "detail": "directory evidence at ./claims"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "artifact:docs/verification/lean-production-proof-checklist.md",
[INFO] [stdout]         "kind": "artifact",
[INFO] [stdout]         "subject": "artifact:docs/verification/lean-production-proof-checklist.md",
[INFO] [stdout]         "status": "present_file",
[INFO] [stdout]         "sha256": "2e95db920204f001e4cdaa95f5023aa50a5ce7798572a0c076c51c1b16c6fdff",
[INFO] [stdout]         "detail": "file evidence at ./docs/verification/lean-production-proof-checklist.md"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "artifact:docs/verification/proof-inventory.md",
[INFO] [stdout]         "kind": "artifact",
[INFO] [stdout]         "subject": "artifact:docs/verification/proof-inventory.md",
[INFO] [stdout]         "status": "present_file",
[INFO] [stdout]         "sha256": "dcbece6689de6bbb398e119489f482922d0e59c8d0517de4f8bb7be401d8e0d8",
[INFO] [stdout]         "detail": "file evidence at ./docs/verification/proof-inventory.md"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "artifact:lean/Refineforge.lean",
[INFO] [stdout]         "kind": "artifact",
[INFO] [stdout]         "subject": "artifact:lean/Refineforge.lean",
[INFO] [stdout]         "status": "present_file",
[INFO] [stdout]         "sha256": "c1a84ad87f16a356940f62ec94e3620018154f7330f93ed62ab04dc72c543efa",
[INFO] [stdout]         "detail": "file evidence at ./lean/Refineforge.lean"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "command:lean-check-all",
[INFO] [stdout]         "kind": "command",
[INFO] [stdout]         "subject": "command:lean-check-all",
[INFO] [stdout]         "status": "failed",
[INFO] [stdout]         "sha256": "14fa4e59773ab08da08880ac49be02020c03516fd4216e5944223bf00d40f431",
[INFO] [stdout]         "detail": "refine lean check-all"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "command:lint-check-all",
[INFO] [stdout]         "kind": "command",
[INFO] [stdout]         "subject": "command:lint-check-all",
[INFO] [stdout]         "status": "passed",
[INFO] [stdout]         "sha256": "4fe0122895db9d23e7abefebac3dd45f631aa2556c2f76d4b534e7ffb24ebbbb",
[INFO] [stdout]         "detail": "refine lint check-all"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "command:scan-check-all",
[INFO] [stdout]         "kind": "command",
[INFO] [stdout]         "subject": "command:scan-check-all",
[INFO] [stdout]         "status": "passed",
[INFO] [stdout]         "sha256": "b3db51ccff706efa30d6b8de49ba6378f8e921ab63c8d5c045dde44b8d787041",
[INFO] [stdout]         "detail": "refine scan check-all"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "tool_check:lake",
[INFO] [stdout]         "kind": "tool_check",
[INFO] [stdout]         "subject": "tool_check:lake",
[INFO] [stdout]         "status": "not_checked",
[INFO] [stdout]         "sha256": "d1299c346ebb0981371032b0fe897496e0af9764c941e75a8df9296be27194d9",
[INFO] [stdout]         "detail": "external tool availability is environment-specific"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "tool_check:refine",
[INFO] [stdout]         "kind": "tool_check",
[INFO] [stdout]         "subject": "tool_check:refine",
[INFO] [stdout]         "status": "available",
[INFO] [stdout]         "sha256": "040673b0feb828d0cf7d1eab84673ba91e51460f580c7c7f86dc54085e1cdcaa",
[INFO] [stdout]         "detail": "provided by the local Cargo workspace command surface"
[INFO] [stdout]       }
[INFO] [stdout]     ],
[INFO] [stdout]     "policy_decisions": [
[INFO] [stdout]       {
[INFO] [stdout]         "id": "human_review_required",
[INFO] [stdout]         "status": "enforced",
[INFO] [stdout]         "detail": "human-reviewed trust requires explicit human_operator evidence and is never inferred from an agent pass"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "memory_non_authoritative",
[INFO] [stdout]         "status": "enforced",
[INFO] [stdout]         "detail": "memory and prior runs may guide investigation but cannot upgrade trust without current report evidence"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "no_prompt_trust_upgrade",
[INFO] [stdout]         "status": "enforced",
[INFO] [stdout]         "detail": "role prompts may guide work, but only CLI evidence and claim scope rules can set report trust"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "trust_ceiling",
[INFO] [stdout]         "status": "enforced",
[INFO] [stdout]         "detail": "lean agent trust is bounded at or below model-linked for this command surface"
[INFO] [stdout]       }
[INFO] [stdout]     ],
[INFO] [stdout]     "typed_blockers": []
[INFO] [stdout]   },
[INFO] [stdout]   "production_proof": {
[INFO] [stdout]     "agent": "lean",
[INFO] [stdout]     "profile": "lean-production-proof",
[INFO] [stdout]     "status": "blocked",
[INFO] [stdout]     "trust_effect": "bounded-by-evidence",
[INFO] [stdout]     "requirements": [
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.no_sorry_gate",
[INFO] [stdout]         "description": "Lean theorem gate passes without sorry, admit, or project-local axioms",
[INFO] [stdout]         "status": "blocked",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "lean-check-all not run or failed"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.rust_scan_symbols",
[INFO] [stdout]         "description": "Deterministic Rust scan resolves every cited implementation symbol",
[INFO] [stdout]         "status": "passed",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "scan-check-all passed"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.claim_scope_model_refined",
[INFO] [stdout]         "description": "Every selected implementation claim uses model+refined scope",
[INFO] [stdout]         "status": "blocked",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "selected claims: CLAIM-CRS-001, CLAIM-CRS-002, CLAIM-CRS-003, CLAIM-CRS-004, CLAIM-CRS-005, EXAMPLE-001, EXAMPLE-002, EXAMPLE-003, HELYX-AUDIT-001, REFINEFORGE-TRUST-001, REFINEFORGE-TRUST-002, REFINEFORGE-TRUST-003, REFINEFORGE-TRUST-004, REFINEFORGE-TRUST-005, REFINEFORGE-TRUST-006, REFINEFORGE-TRUST-007"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.refinement_docs",
[INFO] [stdout]         "description": "Every selected implementation claim has a refinement document",
[INFO] [stdout]         "status": "blocked",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "no missing implementation refinement docs detected"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.bundle_hashes",
[INFO] [stdout]         "description": "Selected claims have exported verification bundle hashes",
[INFO] [stdout]         "status": "passed",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "/tmp/.tmpsaPR3w/lean-evidence/lean/bundle-hashes.json"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.human_review",
[INFO] [stdout]         "description": "Every selected implementation claim has explicit human review",
[INFO] [stdout]         "status": "passed",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "/tmp/.tmpsaPR3w/lean-evidence/approvals/lean.json",
[INFO] [stdout]           "human_operator=Galo Lean Operator"
[INFO] [stdout]         ]
[INFO] [stdout]       }
[INFO] [stdout]     ],
[INFO] [stdout]     "reviewer_evidence": [
[INFO] [stdout]       "REFINEFORGE-TRUST-001 reviewed by Galo Serrano Abad on 2026-05-29",
[INFO] [stdout]       "REFINEFORGE-TRUST-002 reviewed by Galo Serrano Abad on 2026-05-29",
[INFO] [stdout]       "REFINEFORGE-TRUST-003 reviewed by Galo Serrano Abad on 2026-05-29",
[INFO] [stdout]       "REFINEFORGE-TRUST-004 reviewed by Galo Serrano Abad on 2026-05-29",
[INFO] [stdout]       "REFINEFORGE-TRUST-005 reviewed by Galo Serrano Abad on 2026-05-29",
[INFO] [stdout]       "REFINEFORGE-TRUST-006 reviewed by Galo Serrano Abad on 2026-05-29",
[INFO] [stdout]       "REFINEFORGE-TRUST-007 reviewed by Galo Serrano Abad on 2026-05-29",
[INFO] [stdout]       "lean: Galo Lean Operator (/tmp/.tmpsaPR3w/lean-evidence/approvals/lean.json)"
[INFO] [stdout]     ],
[INFO] [stdout]     "blockers": [
[INFO] [stdout]       "Lean production proof requires a passing lean-check-all command",
[INFO] [stdout]       "model-only claims block implementation production proof: CLAIM-CRS-001, CLAIM-CRS-002, CLAIM-CRS-003, CLAIM-CRS-004, CLAIM-CRS-005, EXAMPLE-001, HELYX-AUDIT-001"
[INFO] [stdout]     ]
[INFO] [stdout]   },
[INFO] [stdout]   "assurance_profiles": [],
[INFO] [stdout]   "capabilities": [
[INFO] [stdout]     {
[INFO] [stdout]       "name": "proof-inventory",
[INFO] [stdout]       "status": "available",
[INFO] [stdout]       "evidence": "inspects Lean theorem inventory and claim linkage surfaces"
[INFO] [stdout]     },
[INFO] [stdout]     {
[INFO] [stdout]       "name": "verification-gates",
[INFO] [stdout]       "status": "available",
[INFO] [stdout]       "evidence": "runs Lean, scanner, and claim-linter gates in check/repair/execute modes"
[INFO] [stdout]     },
[INFO] [stdout]     {
[INFO] [stdout]       "name": "truth-bounded-claims",
[INFO] [stdout]       "status": "available",
[INFO] [stdout]       "evidence": "keeps CRS/model-only scopes separate from implementation correctness claims"
[INFO] [stdout]     },
[INFO] [stdout]     {
[INFO] [stdout]       "name": "repair-boundary",
[INFO] [stdout]       "status": "evidence_only",
[INFO] [stdout]       "evidence": "repair mode runs the same verification gates and reports blockers for operator-directed fixes"
[INFO] [stdout]     }
[INFO] [stdout]   ],
[INFO] [stdout]   "tool_checks": [
[INFO] [stdout]     {
[INFO] [stdout]       "name": "refine",
[INFO] [stdout]       "required": true,
[INFO] [stdout]       "status": "available",
[INFO] [stdout]       "detail": "provided by the local Cargo workspace command surface"
[INFO] [stdout]     },
[INFO] [stdout]     {
[INFO] [stdout]       "name": "lake",
[INFO] [stdout]       "required": false,
[INFO] [stdout]       "status": "not_checked",
[INFO] [stdout]       "detail": "external tool availability is environment-specific"
[INFO] [stdout]     }
[INFO] [stdout]   ],
[INFO] [stdout]   "started_at": "2026-06-12T00:02:27.141081055Z",
[INFO] [stdout]   "finished_at": "2026-06-12T00:02:28.085829108Z",
[INFO] [stdout]   "status": "failed",
[INFO] [stdout]   "trust_level": "blocked",
[INFO] [stdout]   "commands": [
[INFO] [stdout]     {
[INFO] [stdout]       "name": "lean-check-all",
[INFO] [stdout]       "command": [
[INFO] [stdout]         "refine",
[INFO] [stdout]         "lean",
[INFO] [stdout]         "check-all"
[INFO] [stdout]       ],
[INFO] [stdout]       "status": "failed",
[INFO] [stdout]       "duration_ms": 28,
[INFO] [stdout]       "exit_code": null,
[INFO] [stdout]       "stdout_tail": null,
[INFO] [stdout]       "stderr_tail": "failed to create Lake build lock at ./lean/.refineforge-lean-check-all.lock: Read-only file system (os error 30)"
[INFO] [stdout]     },
[INFO] [stdout]     {
[INFO] [stdout]       "name": "scan-check-all",
[INFO] [stdout]       "command": [
[INFO] [stdout]         "refine",
[INFO] [stdout]         "scan",
[INFO] [stdout]         "check-all"
[INFO] [stdout]       ],
[INFO] [stdout]       "status": "passed",
[INFO] [stdout]       "duration_ms": 456,
[INFO] [stdout]       "exit_code": null,
[INFO] [stdout]       "stdout_tail": null,
[INFO] [stdout]       "stderr_tail": null
[INFO] [stdout]     },
[INFO] [stdout]     {
[INFO] [stdout]       "name": "lint-check-all",
[INFO] [stdout]       "command": [
[INFO] [stdout]         "refine",
[INFO] [stdout]         "lint",
[INFO] [stdout]         "check-all"
[INFO] [stdout]       ],
[INFO] [stdout]       "status": "passed",
[INFO] [stdout]       "duration_ms": 447,
[INFO] [stdout]       "exit_code": null,
[INFO] [stdout]       "stdout_tail": null,
[INFO] [stdout]       "stderr_tail": null
[INFO] [stdout]     }
[INFO] [stdout]   ],
[INFO] [stdout]   "changed_files": [],
[INFO] [stdout]   "artifacts": [
[INFO] [stdout]     "docs/verification/proof-inventory.md",
[INFO] [stdout]     "docs/verification/lean-production-proof-checklist.md",
[INFO] [stdout]     "claims",
[INFO] [stdout]     "lean/Refineforge.lean"
[INFO] [stdout]   ],
[INFO] [stdout]   "blockers": [],
[INFO] [stdout]   "warnings": [],
[INFO] [stdout]   "summary": "One or more Lean verification gates failed. See command records for the failing gate."
[INFO] [stdout] }
[INFO] [stdout] 
[INFO] [stdout] stderr:
[INFO] [stdout] Error: lean agent finished with status failed
[INFO] [stdout] 
[INFO] [stdout] Stack backtrace:
[INFO] [stdout]    0: <anyhow::Error>::msg::<alloc::string::String>
[INFO] [stdout]              at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/anyhow-1.0.102/src/backtrace.rs:10:14
[INFO] [stdout]    1: refineforge_cli::agent::status_to_result
[INFO] [stdout]              at ./crates/refineforge-cli/src/agent/mod.rs:292:9
[INFO] [stdout]    2: refineforge_cli::agent::run_role
[INFO] [stdout]              at ./crates/refineforge-cli/src/agent/mod.rs:52:5
[INFO] [stdout]    3: refine::main
[INFO] [stdout]              at ./crates/refineforge-cli/src/main.rs:840:17
[INFO] [stdout]    4: <fn() -> core::result::Result<(), anyhow::Error> as core::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/ops/function.rs:250:5
[INFO] [stdout]    5: std::sys::backtrace::__rust_begin_short_backtrace::<fn() -> core::result::Result<(), anyhow::Error>, core::result::Result<(), anyhow::Error>>
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]    6: std::rt::lang_start::<core::result::Result<(), anyhow::Error>>::{closure#0}
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/rt.rs:206:18
[INFO] [stdout]    7: <&dyn core::ops::function::Fn<(), Output = i32> + core::panic::unwind_safe::RefUnwindSafe + core::marker::Sync as core::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/ops/function.rs:287:21
[INFO] [stdout]    8: std::panicking::catch_unwind::do_call::<&dyn core::ops::function::Fn<(), Output = i32> + core::panic::unwind_safe::RefUnwindSafe + core::marker::Sync, i32>
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:581:40
[INFO] [stdout]    9: std::panicking::catch_unwind::<i32, &dyn core::ops::function::Fn<(), Output = i32> + core::panic::unwind_safe::RefUnwindSafe + core::marker::Sync>
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:544:19
[INFO] [stdout]   10: std::panic::catch_unwind::<&dyn core::ops::function::Fn<(), Output = i32> + core::panic::unwind_safe::RefUnwindSafe + core::marker::Sync, i32>
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panic.rs:359:14
[INFO] [stdout]   11: std::rt::lang_start_internal::{closure#0}
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/rt.rs:175:24
[INFO] [stdout]   12: std::panicking::catch_unwind::do_call::<std::rt::lang_start_internal::{closure#0}, isize>
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:581:40
[INFO] [stdout]   13: std::panicking::catch_unwind::<isize, std::rt::lang_start_internal::{closure#0}>
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:544:19
[INFO] [stdout]   14: std::panic::catch_unwind::<std::rt::lang_start_internal::{closure#0}, isize>
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panic.rs:359:14
[INFO] [stdout]   15: std::rt::lang_start_internal
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/rt.rs:171:5
[INFO] [stdout]   16: std::rt::lang_start::<core::result::Result<(), anyhow::Error>>
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/rt.rs:205:5
[INFO] [stdout]   17: main
[INFO] [stdout]   18: <unknown>
[INFO] [stdout]   19: __libc_start_main
[INFO] [stdout]   20: _start
[INFO] [stdout] 
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x61097a8aff88 - std[d054f6f42beb1baa]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x61097a8aff88 - std[d054f6f42beb1baa]::backtrace_rs::backtrace::trace_unsynchronized::<std[d054f6f42beb1baa]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x61097a8aff88 - std[d054f6f42beb1baa]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x61097a8aff88 - <<std[d054f6f42beb1baa]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[5a1c3e9896636f3a]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x61097a8c491a - <core[5a1c3e9896636f3a]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x61097a8c491a - core[5a1c3e9896636f3a]::fmt::write
[INFO] [stdout]    6:     0x61097a8b4882 - std[d054f6f42beb1baa]::io::default_write_fmt::<alloc[154f689e5dd3bae5]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/io/mod.rs:622:11
[INFO] [stdout]    7:     0x61097a8b4882 - <alloc[154f689e5dd3bae5]::vec::Vec<u8> as std[d054f6f42beb1baa]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/io/mod.rs:1977:13
[INFO] [stdout]    8:     0x61097a88cfb6 - <std[d054f6f42beb1baa]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x61097a88cfb6 - std[d054f6f42beb1baa]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x61097a8a7559 - std[d054f6f42beb1baa]::panicking::default_hook
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x61097a80bf8c - <alloc[154f689e5dd3bae5]::boxed::Box<dyn for<'a, 'b> core[5a1c3e9896636f3a]::ops::function::Fn<(&'a std[d054f6f42beb1baa]::panic::PanicHookInfo<'b>,), Output = ()> + core[5a1c3e9896636f3a]::marker::Send + core[5a1c3e9896636f3a]::marker::Sync> as core[5a1c3e9896636f3a]::ops::function::Fn<(&std[d054f6f42beb1baa]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/alloc/src/boxed.rs:2291:9
[INFO] [stdout]   12:     0x61097a80bf8c - test[fad20673b750c10e]::test_main_inner::<test[fad20673b750c10e]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/test/src/lib.rs:155:21
[INFO] [stdout]   13:     0x61097a8a7712 - <alloc[154f689e5dd3bae5]::boxed::Box<dyn for<'a, 'b> core[5a1c3e9896636f3a]::ops::function::Fn<(&'a std[d054f6f42beb1baa]::panic::PanicHookInfo<'b>,), Output = ()> + core[5a1c3e9896636f3a]::marker::Send + core[5a1c3e9896636f3a]::marker::Sync> as core[5a1c3e9896636f3a]::ops::function::Fn<(&std[d054f6f42beb1baa]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/alloc/src/boxed.rs:2291:9
[INFO] [stdout]   14:     0x61097a8a7712 - std[d054f6f42beb1baa]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x61097a88d072 - std[d054f6f42beb1baa]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x61097a8847d9 - std[d054f6f42beb1baa]::sys::backtrace::__rust_end_short_backtrace::<std[d054f6f42beb1baa]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x61097a88de1d - __rustc[7ab284efd7f33ea8]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x61097a8c506c - core[5a1c3e9896636f3a]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x61097a7b3226 - agent_cli[3d5e75332206c3b7]::assert_success
[INFO] [stdout]                                at /opt/rustwide/workdir/crates/refineforge-cli/tests/agent_cli.rs:27:5
[INFO] [stdout]   20:     0x61097a7dad33 - agent_cli[3d5e75332206c3b7]::agent_lean_evidence_dir_consumes_bundle_evidence_without_overriding_model_only_scope
[INFO] [stdout]                                at /opt/rustwide/workdir/crates/refineforge-cli/tests/agent_cli.rs:614:5
[INFO] [stdout]   21:     0x61097a7b1b27 - agent_cli[3d5e75332206c3b7]::agent_lean_evidence_dir_consumes_bundle_evidence_without_overriding_model_only_scope::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/crates/refineforge-cli/tests/agent_cli.rs:562:90
[INFO] [stdout]   22:     0x61097a7e68a6 - <agent_cli[3d5e75332206c3b7]::agent_lean_evidence_dir_consumes_bundle_evidence_without_overriding_model_only_scope::{closure#0} as core[5a1c3e9896636f3a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   23:     0x61097a7ff06b - <fn() -> core[5a1c3e9896636f3a]::result::Result<(), alloc[154f689e5dd3bae5]::string::String> as core[5a1c3e9896636f3a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x61097a7ff06b - test[fad20673b750c10e]::__rust_begin_short_backtrace::<core[5a1c3e9896636f3a]::result::Result<(), alloc[154f689e5dd3bae5]::string::String>, fn() -> core[5a1c3e9896636f3a]::result::Result<(), alloc[154f689e5dd3bae5]::string::String>>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/test/src/lib.rs:724:18
[INFO] [stdout]   25:     0x61097a80c8e5 - test[fad20673b750c10e]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/test/src/lib.rs:747:74
[INFO] [stdout]   26:     0x61097a80c8e5 - <core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<test[fad20673b750c10e]::run_test_in_process::{closure#0}> as core[5a1c3e9896636f3a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   27:     0x61097a80c8e5 - std[d054f6f42beb1baa]::panicking::catch_unwind::do_call::<core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<test[fad20673b750c10e]::run_test_in_process::{closure#0}>, core[5a1c3e9896636f3a]::result::Result<(), alloc[154f689e5dd3bae5]::string::String>>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:581:40
[INFO] [stdout]   28:     0x61097a80c8e5 - std[d054f6f42beb1baa]::panicking::catch_unwind::<core[5a1c3e9896636f3a]::result::Result<(), alloc[154f689e5dd3bae5]::string::String>, core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<test[fad20673b750c10e]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:544:19
[INFO] [stdout]   29:     0x61097a80c8e5 - std[d054f6f42beb1baa]::panic::catch_unwind::<core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<test[fad20673b750c10e]::run_test_in_process::{closure#0}>, core[5a1c3e9896636f3a]::result::Result<(), alloc[154f689e5dd3bae5]::string::String>>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panic.rs:359:14
[INFO] [stdout]   30:     0x61097a80c8e5 - test[fad20673b750c10e]::run_test_in_process
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/test/src/lib.rs:747:27
[INFO] [stdout]   31:     0x61097a80c8e5 - test[fad20673b750c10e]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/test/src/lib.rs:668:43
[INFO] [stdout]   32:     0x61097a807444 - test[fad20673b750c10e]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/test/src/lib.rs:698:41
[INFO] [stdout]   33:     0x61097a807444 - std[d054f6f42beb1baa]::sys::backtrace::__rust_begin_short_backtrace::<test[fad20673b750c10e]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   34:     0x61097a80f962 - std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked::<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/thread/lifecycle.rs:70:13
[INFO] [stdout]   35:     0x61097a80f962 - <core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[5a1c3e9896636f3a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   36:     0x61097a80f962 - std[d054f6f42beb1baa]::panicking::catch_unwind::do_call::<core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:581:40
[INFO] [stdout]   37:     0x61097a80f962 - std[d054f6f42beb1baa]::panicking::catch_unwind::<(), core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:544:19
[INFO] [stdout]   38:     0x61097a80f962 - std[d054f6f42beb1baa]::panic::catch_unwind::<core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panic.rs:359:14
[INFO] [stdout]   39:     0x61097a80f962 - std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked::<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/thread/lifecycle.rs:68:26
[INFO] [stdout]   40:     0x61097a80f962 - <std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1} as core[5a1c3e9896636f3a]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   41:     0x61097a8af0ff - <alloc[154f689e5dd3bae5]::boxed::Box<dyn core[5a1c3e9896636f3a]::ops::function::FnOnce<(), Output = ()> + core[5a1c3e9896636f3a]::marker::Send> as core[5a1c3e9896636f3a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/alloc/src/boxed.rs:2277:9
[INFO] [stdout]   42:     0x61097a8af0ff - <std[d054f6f42beb1baa]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stdout]   43:     0x79c93b5d3aa4 - <unknown>
[INFO] [stdout]   44:     0x79c93b660a64 - clone
[INFO] [stdout]   45:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- agent_lean_model_only_claims_block_production_proof stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'agent_lean_model_only_claims_block_production_proof' (534) panicked at crates/refineforge-cli/tests/agent_cli.rs:27:5:
[INFO] [stdout] stdout:
[INFO] [stdout] REFINEFORGE-TRUST-006  Verified       types=0/0  fns=4/4  hash=5f8a94f943b4
[INFO] [stdout] CLAIM-CRS-004          NoRustSource   types=0/0  fns=0/0  hash=e5511079e05d
[INFO] [stdout] EXAMPLE-001            NoRustSource   types=0/0  fns=0/0  hash=fbe5ee9014a0
[INFO] [stdout] CLAIM-CRS-005          NoRustSource   types=0/0  fns=0/0  hash=e2f0b47d481c
[INFO] [stdout] CLAIM-CRS-001          NoRustSource   types=0/0  fns=0/0  hash=38c50aeb4ebe
[INFO] [stdout] REFINEFORGE-TRUST-007  Verified       types=1/1  fns=2/2  hash=0d9d0c4eaddf
[INFO] [stdout] EXAMPLE-003            Verified       types=1/1  fns=2/2  hash=2675af5476f3
[INFO] [stdout] CLAIM-CRS-003          NoRustSource   types=0/0  fns=0/0  hash=5c5ff31f45c8
[INFO] [stdout] REFINEFORGE-TRUST-003  Verified       types=0/0  fns=2/2  hash=6e72105bd965
[INFO] [stdout] REFINEFORGE-TRUST-002  Verified       types=0/0  fns=1/1  hash=8be566f3d5d9
[INFO] [stdout] REFINEFORGE-TRUST-001  Verified       types=1/1  fns=2/2  hash=13a66eb9a0c6
[INFO] [stdout] CLAIM-CRS-002          NoRustSource   types=0/0  fns=0/0  hash=1ccc239ef5d1
[INFO] [stdout] REFINEFORGE-TRUST-004  Verified       types=0/0  fns=2/2  hash=bc7d22ed0951
[INFO] [stdout] REFINEFORGE-TRUST-005  Verified       types=0/0  fns=2/2  hash=776437d57a1d
[INFO] [stdout] EXAMPLE-002            Verified       types=1/1  fns=1/1  hash=bc03580c7a13
[INFO] [stdout] HELYX-AUDIT-001        NoRustSource   types=0/0  fns=0/0  hash=44af15ca5e73
[INFO] [stdout] REFINEFORGE-TRUST-006  errors=0 warnings=0
[INFO] [stdout] CLAIM-CRS-004          errors=0 warnings=0
[INFO] [stdout] EXAMPLE-001            errors=0 warnings=0
[INFO] [stdout] CLAIM-CRS-005          errors=0 warnings=0
[INFO] [stdout] CLAIM-CRS-001          errors=0 warnings=0
[INFO] [stdout] REFINEFORGE-TRUST-007  errors=0 warnings=0
[INFO] [stdout] EXAMPLE-003            errors=0 warnings=0
[INFO] [stdout] CLAIM-CRS-003          errors=0 warnings=0
[INFO] [stdout] REFINEFORGE-TRUST-003  errors=0 warnings=0
[INFO] [stdout] REFINEFORGE-TRUST-002  errors=0 warnings=0
[INFO] [stdout] REFINEFORGE-TRUST-001  errors=0 warnings=0
[INFO] [stdout] CLAIM-CRS-002          errors=0 warnings=0
[INFO] [stdout] REFINEFORGE-TRUST-004  errors=0 warnings=0
[INFO] [stdout] REFINEFORGE-TRUST-005  errors=0 warnings=0
[INFO] [stdout] EXAMPLE-002            errors=0 warnings=0
[INFO] [stdout] HELYX-AUDIT-001        errors=0 warnings=6
[INFO] [stdout] {
[INFO] [stdout]   "schema_version": "agent-report-v1",
[INFO] [stdout]   "agent": "lean",
[INFO] [stdout]   "mode": "check",
[INFO] [stdout]   "target": "helyx",
[INFO] [stdout]   "liveness": {
[INFO] [stdout]     "state": "alive",
[INFO] [stdout]     "checked_at": "2026-06-12T00:02:27.141172515Z",
[INFO] [stdout]     "agent": "lean",
[INFO] [stdout]     "mode": "check",
[INFO] [stdout]     "target": "helyx",
[INFO] [stdout]     "command_surface": "refine agent lean"
[INFO] [stdout]   },
[INFO] [stdout]   "runtime": {
[INFO] [stdout]     "runtime_version": "agent-runtime-v1",
[INFO] [stdout]     "agent": "lean",
[INFO] [stdout]     "mode": "check",
[INFO] [stdout]     "target": "helyx",
[INFO] [stdout]     "authority": {
[INFO] [stdout]       "source_of_truth": "cli_report",
[INFO] [stdout]       "prompt_authority": "advisory_only",
[INFO] [stdout]       "memory_authority": "non_authoritative",
[INFO] [stdout]       "human_review_rule": "human-reviewed trust requires explicit human_operator evidence; prompts, memory, and role text cannot upgrade it."
[INFO] [stdout]     },
[INFO] [stdout]     "trust_ceiling": "model-linked",
[INFO] [stdout]     "action_intents": [
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.inspect.claims",
[INFO] [stdout]         "name": "Inspect Lean inventory and claim scopes",
[INFO] [stdout]         "category": "inspect",
[INFO] [stdout]         "mutation_policy": "read_only",
[INFO] [stdout]         "command_surface": "refine agent lean --mode inspect",
[INFO] [stdout]         "evidence_required": [
[INFO] [stdout]           "docs/verification/proof-inventory.md",
[INFO] [stdout]           "claims/*.yaml",
[INFO] [stdout]           "lean/Refineforge.lean"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.verify.gates",
[INFO] [stdout]         "name": "Run Lean, scan, and claim lint gates",
[INFO] [stdout]         "category": "verify",
[INFO] [stdout]         "mutation_policy": "writes_evidence",
[INFO] [stdout]         "command_surface": "refine agent lean --mode check",
[INFO] [stdout]         "evidence_required": [
[INFO] [stdout]           "lean-check-all",
[INFO] [stdout]           "scan-check-all",
[INFO] [stdout]           "lint-check-all"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.classify.trust",
[INFO] [stdout]         "name": "Classify model-only versus model-linked trust",
[INFO] [stdout]         "category": "audit",
[INFO] [stdout]         "mutation_policy": "evidence_only",
[INFO] [stdout]         "command_surface": "refine agent lean --mode check",
[INFO] [stdout]         "evidence_required": [
[INFO] [stdout]           "claim.scope",
[INFO] [stdout]           "claim.rust_source",
[INFO] [stdout]           "docs/refinement/<claim>.md"
[INFO] [stdout]         ]
[INFO] [stdout]       }
[INFO] [stdout]     ],
[INFO] [stdout]     "evidence_receipts": [
[INFO] [stdout]       {
[INFO] [stdout]         "id": "artifact:claims",
[INFO] [stdout]         "kind": "artifact",
[INFO] [stdout]         "subject": "artifact:claims",
[INFO] [stdout]         "status": "present_dir",
[INFO] [stdout]         "sha256": "458e143216bd47090e0f449a3ed1b3e70470b8b5b5f7b6689c3ff28e5817ac67",
[INFO] [stdout]         "detail": "directory evidence at ./claims"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "artifact:docs/verification/lean-production-proof-checklist.md",
[INFO] [stdout]         "kind": "artifact",
[INFO] [stdout]         "subject": "artifact:docs/verification/lean-production-proof-checklist.md",
[INFO] [stdout]         "status": "present_file",
[INFO] [stdout]         "sha256": "2e95db920204f001e4cdaa95f5023aa50a5ce7798572a0c076c51c1b16c6fdff",
[INFO] [stdout]         "detail": "file evidence at ./docs/verification/lean-production-proof-checklist.md"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "artifact:docs/verification/proof-inventory.md",
[INFO] [stdout]         "kind": "artifact",
[INFO] [stdout]         "subject": "artifact:docs/verification/proof-inventory.md",
[INFO] [stdout]         "status": "present_file",
[INFO] [stdout]         "sha256": "dcbece6689de6bbb398e119489f482922d0e59c8d0517de4f8bb7be401d8e0d8",
[INFO] [stdout]         "detail": "file evidence at ./docs/verification/proof-inventory.md"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "artifact:lean/Refineforge.lean",
[INFO] [stdout]         "kind": "artifact",
[INFO] [stdout]         "subject": "artifact:lean/Refineforge.lean",
[INFO] [stdout]         "status": "present_file",
[INFO] [stdout]         "sha256": "c1a84ad87f16a356940f62ec94e3620018154f7330f93ed62ab04dc72c543efa",
[INFO] [stdout]         "detail": "file evidence at ./lean/Refineforge.lean"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "command:lean-check-all",
[INFO] [stdout]         "kind": "command",
[INFO] [stdout]         "subject": "command:lean-check-all",
[INFO] [stdout]         "status": "failed",
[INFO] [stdout]         "sha256": "14fa4e59773ab08da08880ac49be02020c03516fd4216e5944223bf00d40f431",
[INFO] [stdout]         "detail": "refine lean check-all"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "command:lint-check-all",
[INFO] [stdout]         "kind": "command",
[INFO] [stdout]         "subject": "command:lint-check-all",
[INFO] [stdout]         "status": "passed",
[INFO] [stdout]         "sha256": "4fe0122895db9d23e7abefebac3dd45f631aa2556c2f76d4b534e7ffb24ebbbb",
[INFO] [stdout]         "detail": "refine lint check-all"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "command:scan-check-all",
[INFO] [stdout]         "kind": "command",
[INFO] [stdout]         "subject": "command:scan-check-all",
[INFO] [stdout]         "status": "passed",
[INFO] [stdout]         "sha256": "b3db51ccff706efa30d6b8de49ba6378f8e921ab63c8d5c045dde44b8d787041",
[INFO] [stdout]         "detail": "refine scan check-all"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "tool_check:lake",
[INFO] [stdout]         "kind": "tool_check",
[INFO] [stdout]         "subject": "tool_check:lake",
[INFO] [stdout]         "status": "not_checked",
[INFO] [stdout]         "sha256": "d1299c346ebb0981371032b0fe897496e0af9764c941e75a8df9296be27194d9",
[INFO] [stdout]         "detail": "external tool availability is environment-specific"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "tool_check:refine",
[INFO] [stdout]         "kind": "tool_check",
[INFO] [stdout]         "subject": "tool_check:refine",
[INFO] [stdout]         "status": "available",
[INFO] [stdout]         "sha256": "040673b0feb828d0cf7d1eab84673ba91e51460f580c7c7f86dc54085e1cdcaa",
[INFO] [stdout]         "detail": "provided by the local Cargo workspace command surface"
[INFO] [stdout]       }
[INFO] [stdout]     ],
[INFO] [stdout]     "policy_decisions": [
[INFO] [stdout]       {
[INFO] [stdout]         "id": "human_review_required",
[INFO] [stdout]         "status": "enforced",
[INFO] [stdout]         "detail": "human-reviewed trust requires explicit human_operator evidence and is never inferred from an agent pass"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "memory_non_authoritative",
[INFO] [stdout]         "status": "enforced",
[INFO] [stdout]         "detail": "memory and prior runs may guide investigation but cannot upgrade trust without current report evidence"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "no_prompt_trust_upgrade",
[INFO] [stdout]         "status": "enforced",
[INFO] [stdout]         "detail": "role prompts may guide work, but only CLI evidence and claim scope rules can set report trust"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "trust_ceiling",
[INFO] [stdout]         "status": "enforced",
[INFO] [stdout]         "detail": "lean agent trust is bounded at or below model-linked for this command surface"
[INFO] [stdout]       }
[INFO] [stdout]     ],
[INFO] [stdout]     "typed_blockers": []
[INFO] [stdout]   },
[INFO] [stdout]   "production_proof": {
[INFO] [stdout]     "agent": "lean",
[INFO] [stdout]     "profile": "lean-production-proof",
[INFO] [stdout]     "status": "blocked",
[INFO] [stdout]     "trust_effect": "bounded-by-evidence",
[INFO] [stdout]     "requirements": [
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.no_sorry_gate",
[INFO] [stdout]         "description": "Lean theorem gate passes without sorry, admit, or project-local axioms",
[INFO] [stdout]         "status": "blocked",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "lean-check-all not run or failed"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.rust_scan_symbols",
[INFO] [stdout]         "description": "Deterministic Rust scan resolves every cited implementation symbol",
[INFO] [stdout]         "status": "passed",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "scan-check-all passed"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.claim_scope_model_refined",
[INFO] [stdout]         "description": "Every selected implementation claim uses model+refined scope",
[INFO] [stdout]         "status": "blocked",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "selected claims: CLAIM-CRS-001, CLAIM-CRS-002, CLAIM-CRS-003, CLAIM-CRS-004, CLAIM-CRS-005, EXAMPLE-001, EXAMPLE-002, EXAMPLE-003, HELYX-AUDIT-001, REFINEFORGE-TRUST-001, REFINEFORGE-TRUST-002, REFINEFORGE-TRUST-003, REFINEFORGE-TRUST-004, REFINEFORGE-TRUST-005, REFINEFORGE-TRUST-006, REFINEFORGE-TRUST-007"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.refinement_docs",
[INFO] [stdout]         "description": "Every selected implementation claim has a refinement document",
[INFO] [stdout]         "status": "blocked",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "no missing implementation refinement docs detected"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.bundle_hashes",
[INFO] [stdout]         "description": "Selected claims have exported verification bundle hashes",
[INFO] [stdout]         "status": "passed",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "CLAIM-CRS-001: artifacts/CLAIM-CRS-001/manifest.json (report_sha256=40564941f7583523719683b951213602150a7aafcb36be9e6256d31b6de8dc00)",
[INFO] [stdout]           "CLAIM-CRS-002: artifacts/CLAIM-CRS-002/manifest.json (report_sha256=920f03817f385956ebd70c9a0037b9b977f8a16794d73fe7996993b23c295e87)",
[INFO] [stdout]           "CLAIM-CRS-003: artifacts/CLAIM-CRS-003/manifest.json (report_sha256=800ad4181edd75f09604feb1912da73f53259a5becc223cefd6a9b12e54c450a)",
[INFO] [stdout]           "CLAIM-CRS-004: artifacts/CLAIM-CRS-004/manifest.json (report_sha256=b25239f659a647125f90abf6f772accdbb0e71a43b9b40a877cd12f774d02372)",
[INFO] [stdout]           "CLAIM-CRS-005: artifacts/CLAIM-CRS-005/manifest.json (report_sha256=ac2c319b2127085d734e048b1c3523377ff697ecf5316b3bf49679ee59fe2cf0)",
[INFO] [stdout]           "EXAMPLE-001: artifacts/EXAMPLE-001/manifest.json (report_sha256=ec7fbd778f82df23b66741c1582b340d9cd18562cad30dcfc6503d708d84c5c2)",
[INFO] [stdout]           "EXAMPLE-002: artifacts/EXAMPLE-002/manifest.json (report_sha256=996d7e8b81f22e33059be504a877672a1aa6f86779ca2e635e4072a082af417e)",
[INFO] [stdout]           "EXAMPLE-003: artifacts/EXAMPLE-003/manifest.json (report_sha256=faa7a359ffe14f73cf2ee447c2e40a2f0c45a5e664bdf297d84a7cb7e4b5e08e)",
[INFO] [stdout]           "HELYX-AUDIT-001: artifacts/HELYX-AUDIT-001/manifest.json (report_sha256=cd986595ee963aff039a5afb9f1de13bde723d2a7eefd5bb624cb9620ebc4f01)",
[INFO] [stdout]           "REFINEFORGE-TRUST-001: artifacts/REFINEFORGE-TRUST-001/manifest.json (report_sha256=10fae4118735d7196054fc1cc7f32cb50d06cbfaf5bbf1b5ad7951f8e01fc8ec)",
[INFO] [stdout]           "REFINEFORGE-TRUST-002: artifacts/REFINEFORGE-TRUST-002/manifest.json (report_sha256=23ed7e05b1e0ee98f2e5ec4a59d624f6e018a2a6040dfc9c7be5f964a9a09987)",
[INFO] [stdout]           "REFINEFORGE-TRUST-003: artifacts/REFINEFORGE-TRUST-003/manifest.json (report_sha256=03634675b0283cb5fbd15ba1a3653088e6f5d8432e500959d1143e1480bdeefc)",
[INFO] [stdout]           "REFINEFORGE-TRUST-004: artifacts/REFINEFORGE-TRUST-004/manifest.json (report_sha256=bb14c610cf6fa0d12783d70981d233419b727833e5a76ea03bf6c206c4abc66a)",
[INFO] [stdout]           "REFINEFORGE-TRUST-005: artifacts/REFINEFORGE-TRUST-005/manifest.json (report_sha256=c08fa5e849e8a180932e91b70b4ce7eb5ee486aa101ef15843476c0e0f27474e)",
[INFO] [stdout]           "REFINEFORGE-TRUST-006: artifacts/REFINEFORGE-TRUST-006/manifest.json (report_sha256=6f93aa019ac2d1728ee117530ccfe41d7d5bdc25316137d84243adfa7d28242b)",
[INFO] [stdout]           "REFINEFORGE-TRUST-007: artifacts/REFINEFORGE-TRUST-007/manifest.json (report_sha256=f132031d24a6fa77ecd873b52f193f8d56fe1c6dd19e688a3f4676b8b0433056)"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "lean.human_review",
[INFO] [stdout]         "description": "Every selected implementation claim has explicit human review",
[INFO] [stdout]         "status": "blocked",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "Lean human approval path is absent"
[INFO] [stdout]         ]
[INFO] [stdout]       }
[INFO] [stdout]     ],
[INFO] [stdout]     "reviewer_evidence": [
[INFO] [stdout]       "REFINEFORGE-TRUST-001 reviewed by Galo Serrano Abad on 2026-05-29",
[INFO] [stdout]       "REFINEFORGE-TRUST-002 reviewed by Galo Serrano Abad on 2026-05-29",
[INFO] [stdout]       "REFINEFORGE-TRUST-003 reviewed by Galo Serrano Abad on 2026-05-29",
[INFO] [stdout]       "REFINEFORGE-TRUST-004 reviewed by Galo Serrano Abad on 2026-05-29",
[INFO] [stdout]       "REFINEFORGE-TRUST-005 reviewed by Galo Serrano Abad on 2026-05-29",
[INFO] [stdout]       "REFINEFORGE-TRUST-006 reviewed by Galo Serrano Abad on 2026-05-29",
[INFO] [stdout]       "REFINEFORGE-TRUST-007 reviewed by Galo Serrano Abad on 2026-05-29"
[INFO] [stdout]     ],
[INFO] [stdout]     "blockers": [
[INFO] [stdout]       "Lean production proof requires a passing lean-check-all command",
[INFO] [stdout]       "model-only claims block implementation production proof: CLAIM-CRS-001, CLAIM-CRS-002, CLAIM-CRS-003, CLAIM-CRS-004, CLAIM-CRS-005, EXAMPLE-001, HELYX-AUDIT-001",
[INFO] [stdout]       "missing human review blocks production proof: CLAIM-CRS-001, CLAIM-CRS-002, CLAIM-CRS-003, CLAIM-CRS-004, CLAIM-CRS-005, EXAMPLE-001, EXAMPLE-002, EXAMPLE-003, HELYX-AUDIT-001"
[INFO] [stdout]     ]
[INFO] [stdout]   },
[INFO] [stdout]   "assurance_profiles": [],
[INFO] [stdout]   "capabilities": [
[INFO] [stdout]     {
[INFO] [stdout]       "name": "proof-inventory",
[INFO] [stdout]       "status": "available",
[INFO] [stdout]       "evidence": "inspects Lean theorem inventory and claim linkage surfaces"
[INFO] [stdout]     },
[INFO] [stdout]     {
[INFO] [stdout]       "name": "verification-gates",
[INFO] [stdout]       "status": "available",
[INFO] [stdout]       "evidence": "runs Lean, scanner, and claim-linter gates in check/repair/execute modes"
[INFO] [stdout]     },
[INFO] [stdout]     {
[INFO] [stdout]       "name": "truth-bounded-claims",
[INFO] [stdout]       "status": "available",
[INFO] [stdout]       "evidence": "keeps CRS/model-only scopes separate from implementation correctness claims"
[INFO] [stdout]     },
[INFO] [stdout]     {
[INFO] [stdout]       "name": "repair-boundary",
[INFO] [stdout]       "status": "evidence_only",
[INFO] [stdout]       "evidence": "repair mode runs the same verification gates and reports blockers for operator-directed fixes"
[INFO] [stdout]     }
[INFO] [stdout]   ],
[INFO] [stdout]   "tool_checks": [
[INFO] [stdout]     {
[INFO] [stdout]       "name": "refine",
[INFO] [stdout]       "required": true,
[INFO] [stdout]       "status": "available",
[INFO] [stdout]       "detail": "provided by the local Cargo workspace command surface"
[INFO] [stdout]     },
[INFO] [stdout]     {
[INFO] [stdout]       "name": "lake",
[INFO] [stdout]       "required": false,
[INFO] [stdout]       "status": "not_checked",
[INFO] [stdout]       "detail": "external tool availability is environment-specific"
[INFO] [stdout]     }
[INFO] [stdout]   ],
[INFO] [stdout]   "started_at": "2026-06-12T00:02:27.141172515Z",
[INFO] [stdout]   "finished_at": "2026-06-12T00:02:28.194549641Z",
[INFO] [stdout]   "status": "failed",
[INFO] [stdout]   "trust_level": "blocked",
[INFO] [stdout]   "commands": [
[INFO] [stdout]     {
[INFO] [stdout]       "name": "lean-check-all",
[INFO] [stdout]       "command": [
[INFO] [stdout]         "refine",
[INFO] [stdout]         "lean",
[INFO] [stdout]         "check-all"
[INFO] [stdout]       ],
[INFO] [stdout]       "status": "failed",
[INFO] [stdout]       "duration_ms": 30,
[INFO] [stdout]       "exit_code": null,
[INFO] [stdout]       "stdout_tail": null,
[INFO] [stdout]       "stderr_tail": "failed to create Lake build lock at ./lean/.refineforge-lean-check-all.lock: Read-only file system (os error 30)"
[INFO] [stdout]     },
[INFO] [stdout]     {
[INFO] [stdout]       "name": "scan-check-all",
[INFO] [stdout]       "command": [
[INFO] [stdout]         "refine",
[INFO] [stdout]         "scan",
[INFO] [stdout]         "check-all"
[INFO] [stdout]       ],
[INFO] [stdout]       "status": "passed",
[INFO] [stdout]       "duration_ms": 451,
[INFO] [stdout]       "exit_code": null,
[INFO] [stdout]       "stdout_tail": null,
[INFO] [stdout]       "stderr_tail": null
[INFO] [stdout]     },
[INFO] [stdout]     {
[INFO] [stdout]       "name": "lint-check-all",
[INFO] [stdout]       "command": [
[INFO] [stdout]         "refine",
[INFO] [stdout]         "lint",
[INFO] [stdout]         "check-all"
[INFO] [stdout]       ],
[INFO] [stdout]       "status": "passed",
[INFO] [stdout]       "duration_ms": 559,
[INFO] [stdout]       "exit_code": null,
[INFO] [stdout]       "stdout_tail": null,
[INFO] [stdout]       "stderr_tail": null
[INFO] [stdout]     }
[INFO] [stdout]   ],
[INFO] [stdout]   "changed_files": [],
[INFO] [stdout]   "artifacts": [
[INFO] [stdout]     "docs/verification/proof-inventory.md",
[INFO] [stdout]     "docs/verification/lean-production-proof-checklist.md",
[INFO] [stdout]     "claims",
[INFO] [stdout]     "lean/Refineforge.lean"
[INFO] [stdout]   ],
[INFO] [stdout]   "blockers": [],
[INFO] [stdout]   "warnings": [],
[INFO] [stdout]   "summary": "One or more Lean verification gates failed. See command records for the failing gate."
[INFO] [stdout] }
[INFO] [stdout] 
[INFO] [stdout] stderr:
[INFO] [stdout] Error: lean agent finished with status failed
[INFO] [stdout] 
[INFO] [stdout] Stack backtrace:
[INFO] [stdout]    0: <anyhow::Error>::msg::<alloc::string::String>
[INFO] [stdout]              at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/anyhow-1.0.102/src/backtrace.rs:10:14
[INFO] [stdout]    1: refineforge_cli::agent::status_to_result
[INFO] [stdout]              at ./crates/refineforge-cli/src/agent/mod.rs:292:9
[INFO] [stdout]    2: refineforge_cli::agent::run_role
[INFO] [stdout]              at ./crates/refineforge-cli/src/agent/mod.rs:52:5
[INFO] [stdout]    3: refine::main
[INFO] [stdout]              at ./crates/refineforge-cli/src/main.rs:840:17
[INFO] [stdout]    4: <fn() -> core::result::Result<(), anyhow::Error> as core::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/ops/function.rs:250:5
[INFO] [stdout]    5: std::sys::backtrace::__rust_begin_short_backtrace::<fn() -> core::result::Result<(), anyhow::Error>, core::result::Result<(), anyhow::Error>>
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]    6: std::rt::lang_start::<core::result::Result<(), anyhow::Error>>::{closure#0}
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/rt.rs:206:18
[INFO] [stdout]    7: <&dyn core::ops::function::Fn<(), Output = i32> + core::panic::unwind_safe::RefUnwindSafe + core::marker::Sync as core::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/ops/function.rs:287:21
[INFO] [stdout]    8: std::panicking::catch_unwind::do_call::<&dyn core::ops::function::Fn<(), Output = i32> + core::panic::unwind_safe::RefUnwindSafe + core::marker::Sync, i32>
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:581:40
[INFO] [stdout]    9: std::panicking::catch_unwind::<i32, &dyn core::ops::function::Fn<(), Output = i32> + core::panic::unwind_safe::RefUnwindSafe + core::marker::Sync>
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:544:19
[INFO] [stdout]   10: std::panic::catch_unwind::<&dyn core::ops::function::Fn<(), Output = i32> + core::panic::unwind_safe::RefUnwindSafe + core::marker::Sync, i32>
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panic.rs:359:14
[INFO] [stdout]   11: std::rt::lang_start_internal::{closure#0}
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/rt.rs:175:24
[INFO] [stdout]   12: std::panicking::catch_unwind::do_call::<std::rt::lang_start_internal::{closure#0}, isize>
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:581:40
[INFO] [stdout]   13: std::panicking::catch_unwind::<isize, std::rt::lang_start_internal::{closure#0}>
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:544:19
[INFO] [stdout]   14: std::panic::catch_unwind::<std::rt::lang_start_internal::{closure#0}, isize>
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panic.rs:359:14
[INFO] [stdout]   15: std::rt::lang_start_internal
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/rt.rs:171:5
[INFO] [stdout]   16: std::rt::lang_start::<core::result::Result<(), anyhow::Error>>
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/rt.rs:205:5
[INFO] [stdout]   17: main
[INFO] [stdout]   18: <unknown>
[INFO] [stdout]   19: __libc_start_main
[INFO] [stdout]   20: _start
[INFO] [stdout] 
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x61097a8aff88 - std[d054f6f42beb1baa]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x61097a8aff88 - std[d054f6f42beb1baa]::backtrace_rs::backtrace::trace_unsynchronized::<std[d054f6f42beb1baa]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x61097a8aff88 - std[d054f6f42beb1baa]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x61097a8aff88 - <<std[d054f6f42beb1baa]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[5a1c3e9896636f3a]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x61097a8c491a - <core[5a1c3e9896636f3a]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x61097a8c491a - core[5a1c3e9896636f3a]::fmt::write
[INFO] [stdout]    6:     0x61097a8b4882 - std[d054f6f42beb1baa]::io::default_write_fmt::<alloc[154f689e5dd3bae5]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/io/mod.rs:622:11
[INFO] [stdout]    7:     0x61097a8b4882 - <alloc[154f689e5dd3bae5]::vec::Vec<u8> as std[d054f6f42beb1baa]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/io/mod.rs:1977:13
[INFO] [stdout]    8:     0x61097a88cfb6 - <std[d054f6f42beb1baa]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x61097a88cfb6 - std[d054f6f42beb1baa]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x61097a8a7559 - std[d054f6f42beb1baa]::panicking::default_hook
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x61097a80bf8c - <alloc[154f689e5dd3bae5]::boxed::Box<dyn for<'a, 'b> core[5a1c3e9896636f3a]::ops::function::Fn<(&'a std[d054f6f42beb1baa]::panic::PanicHookInfo<'b>,), Output = ()> + core[5a1c3e9896636f3a]::marker::Send + core[5a1c3e9896636f3a]::marker::Sync> as core[5a1c3e9896636f3a]::ops::function::Fn<(&std[d054f6f42beb1baa]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/alloc/src/boxed.rs:2291:9
[INFO] [stdout]   12:     0x61097a80bf8c - test[fad20673b750c10e]::test_main_inner::<test[fad20673b750c10e]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/test/src/lib.rs:155:21
[INFO] [stdout]   13:     0x61097a8a7712 - <alloc[154f689e5dd3bae5]::boxed::Box<dyn for<'a, 'b> core[5a1c3e9896636f3a]::ops::function::Fn<(&'a std[d054f6f42beb1baa]::panic::PanicHookInfo<'b>,), Output = ()> + core[5a1c3e9896636f3a]::marker::Send + core[5a1c3e9896636f3a]::marker::Sync> as core[5a1c3e9896636f3a]::ops::function::Fn<(&std[d054f6f42beb1baa]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/alloc/src/boxed.rs:2291:9
[INFO] [stdout]   14:     0x61097a8a7712 - std[d054f6f42beb1baa]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x61097a88d072 - std[d054f6f42beb1baa]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x61097a8847d9 - std[d054f6f42beb1baa]::sys::backtrace::__rust_end_short_backtrace::<std[d054f6f42beb1baa]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x61097a88de1d - __rustc[7ab284efd7f33ea8]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x61097a8c506c - core[5a1c3e9896636f3a]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x61097a7b3226 - agent_cli[3d5e75332206c3b7]::assert_success
[INFO] [stdout]                                at /opt/rustwide/workdir/crates/refineforge-cli/tests/agent_cli.rs:27:5
[INFO] [stdout]   20:     0x61097a7c7d03 - agent_cli[3d5e75332206c3b7]::agent_lean_model_only_claims_block_production_proof
[INFO] [stdout]                                at /opt/rustwide/workdir/crates/refineforge-cli/tests/agent_cli.rs:547:5
[INFO] [stdout]   21:     0x61097a7b1707 - agent_cli[3d5e75332206c3b7]::agent_lean_model_only_claims_block_production_proof::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/crates/refineforge-cli/tests/agent_cli.rs:539:57
[INFO] [stdout]   22:     0x61097a7e6326 - <agent_cli[3d5e75332206c3b7]::agent_lean_model_only_claims_block_production_proof::{closure#0} as core[5a1c3e9896636f3a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   23:     0x61097a7ff06b - <fn() -> core[5a1c3e9896636f3a]::result::Result<(), alloc[154f689e5dd3bae5]::string::String> as core[5a1c3e9896636f3a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x61097a7ff06b - test[fad20673b750c10e]::__rust_begin_short_backtrace::<core[5a1c3e9896636f3a]::result::Result<(), alloc[154f689e5dd3bae5]::string::String>, fn() -> core[5a1c3e9896636f3a]::result::Result<(), alloc[154f689e5dd3bae5]::string::String>>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/test/src/lib.rs:724:18
[INFO] [stdout]   25:     0x61097a80c8e5 - test[fad20673b750c10e]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/test/src/lib.rs:747:74
[INFO] [stdout]   26:     0x61097a80c8e5 - <core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<test[fad20673b750c10e]::run_test_in_process::{closure#0}> as core[5a1c3e9896636f3a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   27:     0x61097a80c8e5 - std[d054f6f42beb1baa]::panicking::catch_unwind::do_call::<core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<test[fad20673b750c10e]::run_test_in_process::{closure#0}>, core[5a1c3e9896636f3a]::result::Result<(), alloc[154f689e5dd3bae5]::string::String>>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:581:40
[INFO] [stdout]   28:     0x61097a80c8e5 - std[d054f6f42beb1baa]::panicking::catch_unwind::<core[5a1c3e9896636f3a]::result::Result<(), alloc[154f689e5dd3bae5]::string::String>, core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<test[fad20673b750c10e]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:544:19
[INFO] [stdout]   29:     0x61097a80c8e5 - std[d054f6f42beb1baa]::panic::catch_unwind::<core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<test[fad20673b750c10e]::run_test_in_process::{closure#0}>, core[5a1c3e9896636f3a]::result::Result<(), alloc[154f689e5dd3bae5]::string::String>>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panic.rs:359:14
[INFO] [stdout]   30:     0x61097a80c8e5 - test[fad20673b750c10e]::run_test_in_process
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/test/src/lib.rs:747:27
[INFO] [stdout]   31:     0x61097a80c8e5 - test[fad20673b750c10e]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/test/src/lib.rs:668:43
[INFO] [stdout]   32:     0x61097a807444 - test[fad20673b750c10e]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/test/src/lib.rs:698:41
[INFO] [stdout]   33:     0x61097a807444 - std[d054f6f42beb1baa]::sys::backtrace::__rust_begin_short_backtrace::<test[fad20673b750c10e]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   34:     0x61097a80f962 - std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked::<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/thread/lifecycle.rs:70:13
[INFO] [stdout]   35:     0x61097a80f962 - <core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[5a1c3e9896636f3a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   36:     0x61097a80f962 - std[d054f6f42beb1baa]::panicking::catch_unwind::do_call::<core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:581:40
[INFO] [stdout]   37:     0x61097a80f962 - std[d054f6f42beb1baa]::panicking::catch_unwind::<(), core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:544:19
[INFO] [stdout]   38:     0x61097a80f962 - std[d054f6f42beb1baa]::panic::catch_unwind::<core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panic.rs:359:14
[INFO] [stdout]   39:     0x61097a80f962 - std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked::<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/thread/lifecycle.rs:68:26
[INFO] [stdout]   40:     0x61097a80f962 - <std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1} as core[5a1c3e9896636f3a]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   41:     0x61097a8af0ff - <alloc[154f689e5dd3bae5]::boxed::Box<dyn core[5a1c3e9896636f3a]::ops::function::FnOnce<(), Output = ()> + core[5a1c3e9896636f3a]::marker::Send> as core[5a1c3e9896636f3a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/alloc/src/boxed.rs:2277:9
[INFO] [stdout]   42:     0x61097a8af0ff - <std[d054f6f42beb1baa]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stdout]   43:     0x79c93b5d3aa4 - <unknown>
[INFO] [stdout]   44:     0x79c93b660a64 - clone
[INFO] [stdout]   45:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- agent_kernel_stub_fixture_cannot_claim_cuda_correctness stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'agent_kernel_stub_fixture_cannot_claim_cuda_correctness' (527) panicked at crates/refineforge-cli/tests/agent_cli.rs:27:5:
[INFO] [stdout] stdout:
[INFO] [stdout] {
[INFO] [stdout]   "schema_version": "agent-report-v1",
[INFO] [stdout]   "agent": "kernel",
[INFO] [stdout]   "mode": "execute",
[INFO] [stdout]   "target": "helyx",
[INFO] [stdout]   "liveness": {
[INFO] [stdout]     "state": "alive",
[INFO] [stdout]     "checked_at": "2026-06-12T00:02:27.142029824Z",
[INFO] [stdout]     "agent": "kernel",
[INFO] [stdout]     "mode": "execute",
[INFO] [stdout]     "target": "helyx",
[INFO] [stdout]     "command_surface": "refine agent kernel"
[INFO] [stdout]   },
[INFO] [stdout]   "runtime": {
[INFO] [stdout]     "runtime_version": "agent-runtime-v1",
[INFO] [stdout]     "agent": "kernel",
[INFO] [stdout]     "mode": "execute",
[INFO] [stdout]     "target": "helyx",
[INFO] [stdout]     "authority": {
[INFO] [stdout]       "source_of_truth": "cli_report",
[INFO] [stdout]       "prompt_authority": "advisory_only",
[INFO] [stdout]       "memory_authority": "non_authoritative",
[INFO] [stdout]       "human_review_rule": "human-reviewed trust requires explicit human_operator evidence; prompts, memory, and role text cannot upgrade it."
[INFO] [stdout]     },
[INFO] [stdout]     "trust_ceiling": "measured-only",
[INFO] [stdout]     "action_intents": [
[INFO] [stdout]       {
[INFO] [stdout]         "id": "kernel.inspect.fixtures",
[INFO] [stdout]         "name": "Inspect kernel configs, fixtures, baselines, and HELYX handoff docs",
[INFO] [stdout]         "category": "inspect",
[INFO] [stdout]         "mutation_policy": "read_only",
[INFO] [stdout]         "command_surface": "refine agent kernel --mode inspect",
[INFO] [stdout]         "evidence_required": [
[INFO] [stdout]           "kernels/configs/*.yaml",
[INFO] [stdout]           "kernels/fixtures/*",
[INFO] [stdout]           "kernels/README.md"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "kernel.lint.bitexact",
[INFO] [stdout]         "name": "Lint bit-exact metadata before execution",
[INFO] [stdout]         "category": "verify",
[INFO] [stdout]         "mutation_policy": "writes_evidence",
[INFO] [stdout]         "command_surface": "refine agent kernel --mode check",
[INFO] [stdout]         "evidence_required": [
[INFO] [stdout]           "bitexact-lint",
[INFO] [stdout]           "bitexact-lint.json"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "kernel.execute.bitexact",
[INFO] [stdout]         "name": "Run deterministic bit-exact gate after lint success",
[INFO] [stdout]         "category": "execute",
[INFO] [stdout]         "mutation_policy": "writes_evidence",
[INFO] [stdout]         "command_surface": "refine agent kernel --mode execute",
[INFO] [stdout]         "evidence_required": [
[INFO] [stdout]           "bitexact-run",
[INFO] [stdout]           "kernel-runs",
[INFO] [stdout]           "expected SHA-256 baselines"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "kernel.correctness.guard",
[INFO] [stdout]         "name": "Block CUDA semantic, portability, and performance claims without hardware evidence",
[INFO] [stdout]         "category": "audit",
[INFO] [stdout]         "mutation_policy": "evidence_only",
[INFO] [stdout]         "command_surface": "refine agent kernel --mode execute",
[INFO] [stdout]         "evidence_required": [
[INFO] [stdout]           "CUDA source",
[INFO] [stdout]           "hardware matrix",
[INFO] [stdout]           "benchmark evidence"
[INFO] [stdout]         ]
[INFO] [stdout]       }
[INFO] [stdout]     ],
[INFO] [stdout]     "evidence_receipts": [
[INFO] [stdout]       {
[INFO] [stdout]         "id": "artifact:/tmp/.tmpGaP7Dx/kernel-prod/bitexact-lint.json",
[INFO] [stdout]         "kind": "artifact",
[INFO] [stdout]         "subject": "artifact:/tmp/.tmpGaP7Dx/kernel-prod/bitexact-lint.json",
[INFO] [stdout]         "status": "present_file",
[INFO] [stdout]         "sha256": "6ce54c758cc5e21dcd0ac321189d734df02bdb40f4fb9b7ac839b7fedb33164c",
[INFO] [stdout]         "detail": "file evidence at /tmp/.tmpGaP7Dx/kernel-prod/bitexact-lint.json"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "artifact:/tmp/.tmpGaP7Dx/kernel-prod/kernel-runs",
[INFO] [stdout]         "kind": "artifact",
[INFO] [stdout]         "subject": "artifact:/tmp/.tmpGaP7Dx/kernel-prod/kernel-runs",
[INFO] [stdout]         "status": "present_dir",
[INFO] [stdout]         "sha256": "8a911e641205e0551daafefd9a282b2e92bd028c01b9b61c479f60cccad123ed",
[INFO] [stdout]         "detail": "directory evidence at /tmp/.tmpGaP7Dx/kernel-prod/kernel-runs"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "artifact:docs/kernels/kernel-production-proof.md",
[INFO] [stdout]         "kind": "artifact",
[INFO] [stdout]         "subject": "artifact:docs/kernels/kernel-production-proof.md",
[INFO] [stdout]         "status": "present_file",
[INFO] [stdout]         "sha256": "422732f2df06c0a55467f0443f28b4b38c12c10c2b0bd64bb8d5260cf40c798f",
[INFO] [stdout]         "detail": "file evidence at ./docs/kernels/kernel-production-proof.md"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "artifact:kernels/README.md",
[INFO] [stdout]         "kind": "artifact",
[INFO] [stdout]         "subject": "artifact:kernels/README.md",
[INFO] [stdout]         "status": "present_file",
[INFO] [stdout]         "sha256": "f2ecf3df6209dde6525b7254c01ae1cc5bc619234919c530d9313d1666726a52",
[INFO] [stdout]         "detail": "file evidence at ./kernels/README.md"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "artifact:kernels/configs/helyx-bitexact-smoke.yaml",
[INFO] [stdout]         "kind": "artifact",
[INFO] [stdout]         "subject": "artifact:kernels/configs/helyx-bitexact-smoke.yaml",
[INFO] [stdout]         "status": "present_file",
[INFO] [stdout]         "sha256": "a26f33a5d4d24ee74a601e216ffed93d450421cdf5cbb93b3eead7674d7943c1",
[INFO] [stdout]         "detail": "file evidence at ./kernels/configs/helyx-bitexact-smoke.yaml"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "artifact:kernels/fixtures/helyx-bitexact-input.txt",
[INFO] [stdout]         "kind": "artifact",
[INFO] [stdout]         "subject": "artifact:kernels/fixtures/helyx-bitexact-input.txt",
[INFO] [stdout]         "status": "present_file",
[INFO] [stdout]         "sha256": "3637f29d6d48365b8cc93900de571937772adf49e6e3c402225673d14cc3105e",
[INFO] [stdout]         "detail": "file evidence at ./kernels/fixtures/helyx-bitexact-input.txt"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "artifact:kernels/hardware-matrix.example.json",
[INFO] [stdout]         "kind": "artifact",
[INFO] [stdout]         "subject": "artifact:kernels/hardware-matrix.example.json",
[INFO] [stdout]         "status": "present_file",
[INFO] [stdout]         "sha256": "f6ac56b0dbeaf59dc3f45f14741b663950be51cc8d772a8545c976a256439463",
[INFO] [stdout]         "detail": "file evidence at ./kernels/hardware-matrix.example.json"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "command:bitexact-lint",
[INFO] [stdout]         "kind": "command",
[INFO] [stdout]         "subject": "command:bitexact-lint",
[INFO] [stdout]         "status": "passed",
[INFO] [stdout]         "sha256": "1fad28bc04661b470826942862aa583e5b28d46e2617443adb3cd73d94b719f2",
[INFO] [stdout]         "detail": "cargo run -p refineforge-bitexact --bin refine-bitexact -- lint kernels/configs/helyx-bitexact-smoke.yaml --json --output /tmp/.tmpGaP7Dx/kernel-prod/bitexact-lint.json"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "command:bitexact-run",
[INFO] [stdout]         "kind": "command",
[INFO] [stdout]         "subject": "command:bitexact-run",
[INFO] [stdout]         "status": "failed",
[INFO] [stdout]         "sha256": "1935e3bb210aa183221b2eba7de484a5468496adb81d43f072097c4b8e934c0f",
[INFO] [stdout]         "detail": "cargo run -p refineforge-bitexact --bin refine-bitexact -- --runs-root /tmp/.tmpGaP7Dx/kernel-prod/kernel-runs run kernels/configs/helyx-bitexact-smoke.yaml"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "tool_check:helyx-kernels",
[INFO] [stdout]         "kind": "tool_check",
[INFO] [stdout]         "subject": "tool_check:helyx-kernels",
[INFO] [stdout]         "status": "not_checked",
[INFO] [stdout]         "sha256": "3e50811ffcac43c1408a4ea6f5ed093dfa82933cfc46c1f001cb1c22fa15495d",
[INFO] [stdout]         "detail": "external tool availability is environment-specific"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "tool_check:refine-bitexact",
[INFO] [stdout]         "kind": "tool_check",
[INFO] [stdout]         "subject": "tool_check:refine-bitexact",
[INFO] [stdout]         "status": "available",
[INFO] [stdout]         "sha256": "b32d2251f9ac5245ecf3f1241e62bddc52328d2b88972c0a94a249ea5674a99c",
[INFO] [stdout]         "detail": "provided by the local Cargo workspace command surface"
[INFO] [stdout]       }
[INFO] [stdout]     ],
[INFO] [stdout]     "policy_decisions": [
[INFO] [stdout]       {
[INFO] [stdout]         "id": "human_review_required",
[INFO] [stdout]         "status": "enforced",
[INFO] [stdout]         "detail": "human-reviewed trust requires explicit human_operator evidence and is never inferred from an agent pass"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "memory_non_authoritative",
[INFO] [stdout]         "status": "enforced",
[INFO] [stdout]         "detail": "memory and prior runs may guide investigation but cannot upgrade trust without current report evidence"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "no_prompt_trust_upgrade",
[INFO] [stdout]         "status": "enforced",
[INFO] [stdout]         "detail": "role prompts may guide work, but only CLI evidence and claim scope rules can set report trust"
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "trust_ceiling",
[INFO] [stdout]         "status": "enforced",
[INFO] [stdout]         "detail": "kernel agent trust is bounded at or below measured-only for this command surface"
[INFO] [stdout]       }
[INFO] [stdout]     ],
[INFO] [stdout]     "typed_blockers": []
[INFO] [stdout]   },
[INFO] [stdout]   "production_proof": {
[INFO] [stdout]     "agent": "kernel",
[INFO] [stdout]     "profile": "kernel-production-proof",
[INFO] [stdout]     "status": "blocked",
[INFO] [stdout]     "trust_effect": "bounded-by-evidence",
[INFO] [stdout]     "requirements": [
[INFO] [stdout]       {
[INFO] [stdout]         "id": "kernel.real_source",
[INFO] [stdout]         "description": "Real CUDA or HELYX kernel source exists and is cited by the config",
[INFO] [stdout]         "status": "blocked",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "kernels/configs/helyx-bitexact-smoke.yaml declares source.kind is stub"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "kernel.cpu_reference",
[INFO] [stdout]         "description": "CPU reference implementation or committed golden output exists",
[INFO] [stdout]         "status": "partial",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "smoke fixture exists at ./kernels/fixtures/helyx-bitexact-input.txt; production CPU reference still required",
[INFO] [stdout]           "kernel CPU reference/golden output path is absent"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "kernel.bitexact_fixture",
[INFO] [stdout]         "description": "Bit-exact lint and run pass on deterministic fixtures",
[INFO] [stdout]         "status": "partial",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "bitexact-lint passed; bitexact-run not present"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "kernel.hardware_matrix",
[INFO] [stdout]         "description": "Hardware matrix records GPU, driver, CUDA toolkit, OS, and CPU architecture",
[INFO] [stdout]         "status": "blocked",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "production hardware matrix not provided via REFINEFORGE_KERNEL_HARDWARE_MATRIX"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "kernel.compiler_runtime_metadata",
[INFO] [stdout]         "description": "Compiler and runtime metadata record rustc, nvcc, driver, and build flags",
[INFO] [stdout]         "status": "blocked",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "compiler/runtime metadata path is absent"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "kernel.performance_baseline",
[INFO] [stdout]         "description": "Performance baseline records latency/throughput and regression threshold",
[INFO] [stdout]         "status": "blocked",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "kernel performance baseline path is absent"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "kernel.helyx_handoff",
[INFO] [stdout]         "description": "HELYX handoff records source, config, and evidence bundle hashes",
[INFO] [stdout]         "status": "blocked",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "HELYX kernel handoff path is absent"
[INFO] [stdout]         ]
[INFO] [stdout]       },
[INFO] [stdout]       {
[INFO] [stdout]         "id": "kernel.human_kernel_approval",
[INFO] [stdout]         "description": "Named human reviewer approved CUDA correctness and performance evidence",
[INFO] [stdout]         "status": "blocked",
[INFO] [stdout]         "evidence": [
[INFO] [stdout]           "kernel human approval path is absent"
[INFO] [stdout]         ]
[INFO] [stdout]       }
[INFO] [stdout]     ],
[INFO] [stdout]     "reviewer_evidence": [],
[INFO] [stdout]     "blockers": [
[INFO] [stdout]       "kernel.real_source blocked: source.kind is stub",
[INFO] [stdout]       "production CPU reference/golden output evidence is missing",
[INFO] [stdout]       "complete bit-exact run evidence is missing",
[INFO] [stdout]       "CUDA hardware matrix evidence is missing or not production-passed",
[INFO] [stdout]       "compiler/runtime metadata is missing",
[INFO] [stdout]       "kernel performance baseline is missing",
[INFO] [stdout]       "HELYX kernel handoff evidence is missing",
[INFO] [stdout]       "human kernel approval is missing"
[INFO] [stdout]     ]
[INFO] [stdout]   },
[INFO] [stdout]   "assurance_profiles": [],
[INFO] [stdout]   "capabilities": [
[INFO] [stdout]     {
[INFO] [stdout]       "name": "bitexact-contract-lint",
[INFO] [stdout]       "status": "available",
[INFO] [stdout]       "evidence": "validates HELYX-compatible kernel metadata before execution"
[INFO] [stdout]     },
[INFO] [stdout]     {
[INFO] [stdout]       "name": "deterministic-run-gate",
[INFO] [stdout]       "status": "available",
[INFO] [stdout]       "evidence": "execute mode runs refine-bitexact and writes per-run evidence"
[INFO] [stdout]     },
[INFO] [stdout]     {
[INFO] [stdout]       "name": "baseline-hash-enforcement",
[INFO] [stdout]       "status": "available",
[INFO] [stdout]       "evidence": "expected SHA-256 baselines fail stable-but-wrong outputs"
[INFO] [stdout]     },
[INFO] [stdout]     {
[INFO] [stdout]       "name": "helyx-kernels-boundary",
[INFO] [stdout]       "status": "tool_gated",
[INFO] [stdout]       "evidence": "HELYX production kernels remain external; Refine-Forge owns local CUDA smoke and evidence gates"
[INFO] [stdout]     }
[INFO] [stdout]   ],
[INFO] [stdout]   "tool_checks": [
[INFO] [stdout]     {
[INFO] [stdout]       "name": "refine-bitexact",
[INFO] [stdout]       "required": true,
[INFO] [stdout]       "status": "available",
[INFO] [stdout]       "detail": "provided by the local Cargo workspace command surface"
[INFO] [stdout]     },
[INFO] [stdout]     {
[INFO] [stdout]       "name": "helyx-kernels",
[INFO] [stdout]       "required": false,
[INFO] [stdout]       "status": "not_checked",
[INFO] [stdout]       "detail": "external tool availability is environment-specific"
[INFO] [stdout]     }
[INFO] [stdout]   ],
[INFO] [stdout]   "started_at": "2026-06-12T00:02:27.142029824Z",
[INFO] [stdout]   "finished_at": "2026-06-12T00:03:18.684996898Z",
[INFO] [stdout]   "status": "failed",
[INFO] [stdout]   "trust_level": "blocked",
[INFO] [stdout]   "commands": [
[INFO] [stdout]     {
[INFO] [stdout]       "name": "bitexact-lint",
[INFO] [stdout]       "command": [
[INFO] [stdout]         "cargo",
[INFO] [stdout]         "run",
[INFO] [stdout]         "-p",
[INFO] [stdout]         "refineforge-bitexact",
[INFO] [stdout]         "--bin",
[INFO] [stdout]         "refine-bitexact",
[INFO] [stdout]         "--",
[INFO] [stdout]         "lint",
[INFO] [stdout]         "kernels/configs/helyx-bitexact-smoke.yaml",
[INFO] [stdout]         "--json",
[INFO] [stdout]         "--output",
[INFO] [stdout]         "/tmp/.tmpGaP7Dx/kernel-prod/bitexact-lint.json"
[INFO] [stdout]       ],
[INFO] [stdout]       "status": "passed",
[INFO] [stdout]       "duration_ms": 51053,
[INFO] [stdout]       "exit_code": 0,
[INFO] [stdout]       "stdout_tail": "{\n  \"status\": \"Pass\",\n  \"experiment_id\": \"helyx-bitexact-smoke\",\n  \"profile\": \"helyx_cuda\",\n  \"issues\": []\n}",
[INFO] [stdout]       "stderr_tail": "    Blocking waiting for file lock on build directory\n   Compiling syn v2.0.117\n   Compiling serde_derive v1.0.228\n   Compiling clap_derive v4.6.1\n   Compiling clap v4.6.1\n   Compiling serde v1.0.228\n   Compiling serde_yaml v0.9.34+deprecated\n   Compiling chrono v0.4.44\n   Compiling refineforge-bitexact v0.2.2 (/opt/rustwide/workdir/crates/refineforge-bitexact)\n    Finished `dev` profile [unoptimized + debuginfo] target(s) in 51.00s\n     Running `/opt/rustwide/target/debug/refine-bitexact lint kernels/configs/helyx-bitexact-smoke.yaml --json --output /tmp/.tmpGaP7Dx/kernel-prod/bitexact-lint.json`"
[INFO] [stdout]     },
[INFO] [stdout]     {
[INFO] [stdout]       "name": "bitexact-run",
[INFO] [stdout]       "command": [
[INFO] [stdout]         "cargo",
[INFO] [stdout]         "run",
[INFO] [stdout]         "-p",
[INFO] [stdout]         "refineforge-bitexact",
[INFO] [stdout]         "--bin",
[INFO] [stdout]         "refine-bitexact",
[INFO] [stdout]         "--",
[INFO] [stdout]         "--runs-root",
[INFO] [stdout]         "/tmp/.tmpGaP7Dx/kernel-prod/kernel-runs",
[INFO] [stdout]         "run",
[INFO] [stdout]         "kernels/configs/helyx-bitexact-smoke.yaml"
[INFO] [stdout]       ],
[INFO] [stdout]       "status": "failed",
[INFO] [stdout]       "duration_ms": 475,
[INFO] [stdout]       "exit_code": 1,
[INFO] [stdout]       "stdout_tail": "",
[INFO] [stdout]       "stderr_tail": "   9: std::panicking::catch_unwind::<i32, &dyn core::ops::function::Fn<(), Output = i32> + core::panic::unwind_safe::RefUnwindSafe + core::marker::Sync>\n             at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:544:19\n  10: std::panic::catch_unwind::<&dyn core::ops::function::Fn<(), Output = i32> + core::panic::unwind_safe::RefUnwindSafe + core::marker::Sync, i32>\n             at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panic.rs:359:14\n  11: std::rt::lang_start_internal::{closure#0}\n             at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/rt.rs:175:24\n  12: std::panicking::catch_unwind::do_call::<std::rt::lang_start_internal::{closure#0}, isize>\n             at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:581:40\n  13: std::panicking::catch_unwind::<isize, std::rt::lang_start_internal::{closure#0}>\n             at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:544:19\n  14: std::panic::catch_unwind::<std::rt::lang_start_internal::{closure#0}, isize>\n             at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panic.rs:359:14\n  15: std::rt::lang_start_internal\n             at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/rt.rs:171:5\n  16: std::rt::lang_start::<core::result::Result<(), anyhow::Error>>\n             at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/rt.rs:205:5\n  17: main\n  18: <unknown>\n  19: __libc_start_main\n  20: _start"
[INFO] [stdout]     }
[INFO] [stdout]   ],
[INFO] [stdout]   "changed_files": [],
[INFO] [stdout]   "artifacts": [
[INFO] [stdout]     "kernels/configs/helyx-bitexact-smoke.yaml",
[INFO] [stdout]     "kernels/fixtures/helyx-bitexact-input.txt",
[INFO] [stdout]     "kernels/hardware-matrix.example.json",
[INFO] [stdout]     "kernels/README.md",
[INFO] [stdout]     "docs/kernels/kernel-production-proof.md",
[INFO] [stdout]     "/tmp/.tmpGaP7Dx/kernel-prod/bitexact-lint.json",
[INFO] [stdout]     "/tmp/.tmpGaP7Dx/kernel-prod/kernel-runs"
[INFO] [stdout]   ],
[INFO] [stdout]   "blockers": [],
[INFO] [stdout]   "warnings": [],
[INFO] [stdout]   "summary": "Bit-exact kernel command ran and failed. See command stderr/stdout evidence."
[INFO] [stdout] }
[INFO] [stdout] 
[INFO] [stdout] stderr:
[INFO] [stdout] Error: kernel agent finished with status failed
[INFO] [stdout] 
[INFO] [stdout] Stack backtrace:
[INFO] [stdout]    0: <anyhow::Error>::msg::<alloc::string::String>
[INFO] [stdout]              at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/anyhow-1.0.102/src/backtrace.rs:10:14
[INFO] [stdout]    1: refineforge_cli::agent::status_to_result
[INFO] [stdout]              at ./crates/refineforge-cli/src/agent/mod.rs:292:9
[INFO] [stdout]    2: refineforge_cli::agent::run_role
[INFO] [stdout]              at ./crates/refineforge-cli/src/agent/mod.rs:52:5
[INFO] [stdout]    3: refine::main
[INFO] [stdout]              at ./crates/refineforge-cli/src/main.rs:852:39
[INFO] [stdout]    4: <fn() -> core::result::Result<(), anyhow::Error> as core::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/ops/function.rs:250:5
[INFO] [stdout]    5: std::sys::backtrace::__rust_begin_short_backtrace::<fn() -> core::result::Result<(), anyhow::Error>, core::result::Result<(), anyhow::Error>>
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]    6: std::rt::lang_start::<core::result::Result<(), anyhow::Error>>::{closure#0}
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/rt.rs:206:18
[INFO] [stdout]    7: <&dyn core::ops::function::Fn<(), Output = i32> + core::panic::unwind_safe::RefUnwindSafe + core::marker::Sync as core::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/ops/function.rs:287:21
[INFO] [stdout]    8: std::panicking::catch_unwind::do_call::<&dyn core::ops::function::Fn<(), Output = i32> + core::panic::unwind_safe::RefUnwindSafe + core::marker::Sync, i32>
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:581:40
[INFO] [stdout]    9: std::panicking::catch_unwind::<i32, &dyn core::ops::function::Fn<(), Output = i32> + core::panic::unwind_safe::RefUnwindSafe + core::marker::Sync>
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:544:19
[INFO] [stdout]   10: std::panic::catch_unwind::<&dyn core::ops::function::Fn<(), Output = i32> + core::panic::unwind_safe::RefUnwindSafe + core::marker::Sync, i32>
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panic.rs:359:14
[INFO] [stdout]   11: std::rt::lang_start_internal::{closure#0}
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/rt.rs:175:24
[INFO] [stdout]   12: std::panicking::catch_unwind::do_call::<std::rt::lang_start_internal::{closure#0}, isize>
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:581:40
[INFO] [stdout]   13: std::panicking::catch_unwind::<isize, std::rt::lang_start_internal::{closure#0}>
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:544:19
[INFO] [stdout]   14: std::panic::catch_unwind::<std::rt::lang_start_internal::{closure#0}, isize>
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panic.rs:359:14
[INFO] [stdout]   15: std::rt::lang_start_internal
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/rt.rs:171:5
[INFO] [stdout]   16: std::rt::lang_start::<core::result::Result<(), anyhow::Error>>
[INFO] [stdout]              at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/rt.rs:205:5
[INFO] [stdout]   17: main
[INFO] [stdout]   18: <unknown>
[INFO] [stdout]   19: __libc_start_main
[INFO] [stdout]   20: _start
[INFO] [stdout] 
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x61097a8aff88 - std[d054f6f42beb1baa]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x61097a8aff88 - std[d054f6f42beb1baa]::backtrace_rs::backtrace::trace_unsynchronized::<std[d054f6f42beb1baa]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x61097a8aff88 - std[d054f6f42beb1baa]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x61097a8aff88 - <<std[d054f6f42beb1baa]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[5a1c3e9896636f3a]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x61097a8c491a - <core[5a1c3e9896636f3a]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x61097a8c491a - core[5a1c3e9896636f3a]::fmt::write
[INFO] [stdout]    6:     0x61097a8b4882 - std[d054f6f42beb1baa]::io::default_write_fmt::<alloc[154f689e5dd3bae5]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/io/mod.rs:622:11
[INFO] [stdout]    7:     0x61097a8b4882 - <alloc[154f689e5dd3bae5]::vec::Vec<u8> as std[d054f6f42beb1baa]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/io/mod.rs:1977:13
[INFO] [stdout]    8:     0x61097a88cfb6 - <std[d054f6f42beb1baa]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x61097a88cfb6 - std[d054f6f42beb1baa]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x61097a8a7559 - std[d054f6f42beb1baa]::panicking::default_hook
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x61097a80bf8c - <alloc[154f689e5dd3bae5]::boxed::Box<dyn for<'a, 'b> core[5a1c3e9896636f3a]::ops::function::Fn<(&'a std[d054f6f42beb1baa]::panic::PanicHookInfo<'b>,), Output = ()> + core[5a1c3e9896636f3a]::marker::Send + core[5a1c3e9896636f3a]::marker::Sync> as core[5a1c3e9896636f3a]::ops::function::Fn<(&std[d054f6f42beb1baa]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/alloc/src/boxed.rs:2291:9
[INFO] [stdout]   12:     0x61097a80bf8c - test[fad20673b750c10e]::test_main_inner::<test[fad20673b750c10e]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/test/src/lib.rs:155:21
[INFO] [stdout]   13:     0x61097a8a7712 - <alloc[154f689e5dd3bae5]::boxed::Box<dyn for<'a, 'b> core[5a1c3e9896636f3a]::ops::function::Fn<(&'a std[d054f6f42beb1baa]::panic::PanicHookInfo<'b>,), Output = ()> + core[5a1c3e9896636f3a]::marker::Send + core[5a1c3e9896636f3a]::marker::Sync> as core[5a1c3e9896636f3a]::ops::function::Fn<(&std[d054f6f42beb1baa]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/alloc/src/boxed.rs:2291:9
[INFO] [stdout]   14:     0x61097a8a7712 - std[d054f6f42beb1baa]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x61097a88d072 - std[d054f6f42beb1baa]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x61097a8847d9 - std[d054f6f42beb1baa]::sys::backtrace::__rust_end_short_backtrace::<std[d054f6f42beb1baa]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x61097a88de1d - __rustc[7ab284efd7f33ea8]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x61097a8c506c - core[5a1c3e9896636f3a]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x61097a7b3226 - agent_cli[3d5e75332206c3b7]::assert_success
[INFO] [stdout]                                at /opt/rustwide/workdir/crates/refineforge-cli/tests/agent_cli.rs:27:5
[INFO] [stdout]   20:     0x61097a7c9c43 - agent_cli[3d5e75332206c3b7]::agent_kernel_stub_fixture_cannot_claim_cuda_correctness
[INFO] [stdout]                                at /opt/rustwide/workdir/crates/refineforge-cli/tests/agent_cli.rs:1420:5
[INFO] [stdout]   21:     0x61097a7b17c7 - agent_cli[3d5e75332206c3b7]::agent_kernel_stub_fixture_cannot_claim_cuda_correctness::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/crates/refineforge-cli/tests/agent_cli.rs:1412:61
[INFO] [stdout]   22:     0x61097a7e6426 - <agent_cli[3d5e75332206c3b7]::agent_kernel_stub_fixture_cannot_claim_cuda_correctness::{closure#0} as core[5a1c3e9896636f3a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   23:     0x61097a7ff06b - <fn() -> core[5a1c3e9896636f3a]::result::Result<(), alloc[154f689e5dd3bae5]::string::String> as core[5a1c3e9896636f3a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x61097a7ff06b - test[fad20673b750c10e]::__rust_begin_short_backtrace::<core[5a1c3e9896636f3a]::result::Result<(), alloc[154f689e5dd3bae5]::string::String>, fn() -> core[5a1c3e9896636f3a]::result::Result<(), alloc[154f689e5dd3bae5]::string::String>>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/test/src/lib.rs:724:18
[INFO] [stdout]   25:     0x61097a80c8e5 - test[fad20673b750c10e]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/test/src/lib.rs:747:74
[INFO] [stdout]   26:     0x61097a80c8e5 - <core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<test[fad20673b750c10e]::run_test_in_process::{closure#0}> as core[5a1c3e9896636f3a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   27:     0x61097a80c8e5 - std[d054f6f42beb1baa]::panicking::catch_unwind::do_call::<core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<test[fad20673b750c10e]::run_test_in_process::{closure#0}>, core[5a1c3e9896636f3a]::result::Result<(), alloc[154f689e5dd3bae5]::string::String>>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:581:40
[INFO] [stdout]   28:     0x61097a80c8e5 - std[d054f6f42beb1baa]::panicking::catch_unwind::<core[5a1c3e9896636f3a]::result::Result<(), alloc[154f689e5dd3bae5]::string::String>, core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<test[fad20673b750c10e]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:544:19
[INFO] [stdout]   29:     0x61097a80c8e5 - std[d054f6f42beb1baa]::panic::catch_unwind::<core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<test[fad20673b750c10e]::run_test_in_process::{closure#0}>, core[5a1c3e9896636f3a]::result::Result<(), alloc[154f689e5dd3bae5]::string::String>>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panic.rs:359:14
[INFO] [stdout]   30:     0x61097a80c8e5 - test[fad20673b750c10e]::run_test_in_process
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/test/src/lib.rs:747:27
[INFO] [stdout]   31:     0x61097a80c8e5 - test[fad20673b750c10e]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/test/src/lib.rs:668:43
[INFO] [stdout]   32:     0x61097a807444 - test[fad20673b750c10e]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/test/src/lib.rs:698:41
[INFO] [stdout]   33:     0x61097a807444 - std[d054f6f42beb1baa]::sys::backtrace::__rust_begin_short_backtrace::<test[fad20673b750c10e]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   34:     0x61097a80f962 - std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked::<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/thread/lifecycle.rs:70:13
[INFO] [stdout]   35:     0x61097a80f962 - <core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[5a1c3e9896636f3a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   36:     0x61097a80f962 - std[d054f6f42beb1baa]::panicking::catch_unwind::do_call::<core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:581:40
[INFO] [stdout]   37:     0x61097a80f962 - std[d054f6f42beb1baa]::panicking::catch_unwind::<(), core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panicking.rs:544:19
[INFO] [stdout]   38:     0x61097a80f962 - std[d054f6f42beb1baa]::panic::catch_unwind::<core[5a1c3e9896636f3a]::panic::unwind_safe::AssertUnwindSafe<std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/panic.rs:359:14
[INFO] [stdout]   39:     0x61097a80f962 - std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked::<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/thread/lifecycle.rs:68:26
[INFO] [stdout]   40:     0x61097a80f962 - <std[d054f6f42beb1baa]::thread::lifecycle::spawn_unchecked<test[fad20673b750c10e]::run_test::{closure#1}, ()>::{closure#1} as core[5a1c3e9896636f3a]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   41:     0x61097a8af0ff - <alloc[154f689e5dd3bae5]::boxed::Box<dyn core[5a1c3e9896636f3a]::ops::function::FnOnce<(), Output = ()> + core[5a1c3e9896636f3a]::marker::Send> as core[5a1c3e9896636f3a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/alloc/src/boxed.rs:2277:9
[INFO] [stdout]   42:     0x61097a8af0ff - <std[d054f6f42beb1baa]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/28f95933dc0727396c07b48d0a8cb5211b7fb472/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stdout]   43:     0x79c93b5d3aa4 - <unknown>
[INFO] [stdout]   44:     0x79c93b660a64 - clone
[INFO] [stdout]   45:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     agent_kernel_stub_fixture_cannot_claim_cuda_correctness
[INFO] [stdout]     agent_lean_check_keeps_model_only_scope_as_trust_floor
[INFO] [stdout]     agent_lean_evidence_dir_consumes_bundle_evidence_without_overriding_model_only_scope
[INFO] [stdout]     agent_lean_model_only_claims_block_production_proof
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 24 passed; 4 failed; 0 ignored; 0 measured; 0 filtered out; finished in 51.64s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `-p refineforge-cli --test agent_cli`
[INFO] running `Command { std: "docker" "inspect" "bd3d19930470c07e9a15a03529c355e2df36dace217387a17ababbd65fc01162", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "bd3d19930470c07e9a15a03529c355e2df36dace217387a17ababbd65fc01162", kill_on_drop: false }`
[INFO] [stdout] bd3d19930470c07e9a15a03529c355e2df36dace217387a17ababbd65fc01162
